Dave Whipp
Exploiting “architecture for verification” to streamline the verification process
DAC, 2009.
@inproceedings{DAC-2009-Whipp, author = "Dave Whipp", booktitle = "{Proceedings of the 46th Design Automation Conference}", doi = "10.1145/1629911.1629970", isbn = "978-1-60558-497-3", pages = "212--215", publisher = "{ACM}", title = "{Exploiting “architecture for verification” to streamline the verification process}", year = 2009, }