Nicola Bombieri, Franco Fummi, Graziano Pravadelli
Incremental ABV for functional validation of TL-to-RTL design refinement
DATE, 2007.
@inproceedings{DATE-2007-BombieriFP,
author = "Nicola Bombieri and Franco Fummi and Graziano Pravadelli",
booktitle = "{Proceedings of the 11th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1266366.1266557",
isbn = "978-3-9810801-2-4",
pages = "882--887",
publisher = "{ACM}",
title = "{Incremental ABV for functional validation of TL-to-RTL design refinement}",
year = 2007,
}