Property-Specific Testbench Generation for Guided Simulation.

Aarti Gupta, Albert E. Casavant, Pranav Ashar, Sean Liu, Akira Mukaiyama, Kazutoshi Wakabayashi

Browse the full VLSID paper archive.