Joakim Urdahl, Dominik Stoffel, Markus Wedler, Wolfgang Kunz
System verification of concurrent RTL modules by compositional path predicate abstraction
DAC, 2012.
@inproceedings{DAC-2012-UrdahlSWK,
author = "Joakim Urdahl and Dominik Stoffel and Markus Wedler and Wolfgang Kunz",
booktitle = "{Proceedings of the 49th Annual Design Automation Conference}",
doi = "10.1145/2228360.2228422",
isbn = "978-1-4503-1199-1",
pages = "334--343",
publisher = "{ACM}",
title = "{System verification of concurrent RTL modules by compositional path predicate abstraction}",
year = 2012,
}