Nicola Bombieri, Riccardo Filippozzi, Graziano Pravadelli, Francesco Stefanni
RTL property abstraction for TLM assertion-based verification
DATE, 2015.
@inproceedings{DATE-2015-BombieriFPS,
acmid = "2755772",
author = "Nicola Bombieri and Riccardo Filippozzi and Graziano Pravadelli and Francesco Stefanni",
booktitle = "{Proceedings of the 19th Conference and Exhibition on Design, Automation and Test in Europe}",
isbn = "978-3-9815370-4-8",
pages = "85--90",
publisher = "{ACM}",
title = "{RTL property abstraction for TLM assertion-based verification}",
year = 2015,
}