Property-Specific Testbench Generation for Guided Simulation

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]

Authors

Aarti Gupta

This author has not been identified. Look up 'Aarti Gupta' in Google

Albert E. Casavant

This author has not been identified. Look up 'Albert E. Casavant' in Google

Pranav Ashar

This author has not been identified. Look up 'Pranav Ashar' in Google

X. G. Liu

This author has not been identified. Look up 'X. G. Liu' in Google

Akira Mukaiyama

This author has not been identified. Look up 'Akira Mukaiyama' in Google

Kazutoshi Wakabayashi

This author has not been identified. Look up 'Kazutoshi Wakabayashi' in Google