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]
Abstract is missing.