Aarti Gupta, Albert E. Casavant, Pranav Ashar, X. G. Liu, Akira Mukaiyama, Kazutoshi Wakabayashi. Property-Specific Testbench Generation for Guided Simulation. In Proceedings of the ASPDAC 2002 / VLSI Design 2002, CD-ROM, 7-11 January 2002, Bangalore, India. pages 524, IEEE Computer Society, 2002. [doi]
Abstract is missing.