Nicola Bombieri, Franco Fummi, Graziano Pravadelli. Incremental ABV for functional validation of TL-to-RTL design refinement. In Rudy Lauwereins, Jan Madsen, editors, 2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France. pages 882-887, ACM, 2007. [doi]
@inproceedings{BombieriFP07,
title = {Incremental ABV for functional validation of TL-to-RTL design refinement},
author = {Nicola Bombieri and Franco Fummi and Graziano Pravadelli},
year = {2007},
doi = {10.1145/1266366.1266557},
url = {http://doi.acm.org/10.1145/1266366.1266557},
tags = {refinement, incremental, design},
researchr = {https://researchr.org/publication/BombieriFP07},
cites = {0},
citedby = {0},
pages = {882-887},
booktitle = {2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France},
editor = {Rudy Lauwereins and Jan Madsen},
publisher = {ACM},
isbn = {978-3-9810801-2-4},
}