Simulation Vector Generation from HDL Descriptions for Observability-Enhanced Statement Coverage.

Farzan Fallah, Pranav Ashar, Srinivas Devadas

Browse the full DAC paper archive.