Philippe Georgelin, Venkat Krishnaswamy
Towards a C++-based design methodology facilitating sequential equivalence checking
DAC, 2006.
@inproceedings{DAC-2006-GeorgelinK,
author = "Philippe Georgelin and Venkat Krishnaswamy",
booktitle = "{Proceedings of the 43rd Design Automation Conference}",
doi = "10.1145/1146909.1146938",
isbn = "1-59593-381-6",
pages = "93--96",
publisher = "{ACM}",
title = "{Towards a C++-based design methodology facilitating sequential equivalence checking}",
year = 2006,
}