Guy Dupenloup, Thierry Lemeunier, Roland Mayr. Transistor abstraction for the functional verification of FPGAs. In Ellen Sentovich, editor, Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006. pages 1069-1072, ACM, 2006. [doi]
@inproceedings{DupenloupLM06,
title = {Transistor abstraction for the functional verification of FPGAs},
author = {Guy Dupenloup and Thierry Lemeunier and Roland Mayr},
year = {2006},
doi = {10.1145/1146909.1147179},
url = {http://doi.acm.org/10.1145/1146909.1147179},
tags = {abstraction},
researchr = {https://researchr.org/publication/DupenloupLM06},
cites = {0},
citedby = {0},
pages = {1069-1072},
booktitle = {Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006},
editor = {Ellen Sentovich},
publisher = {ACM},
isbn = {1-59593-381-6},
}