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

Farzan Fallah, Pranav Ashar, Srinivas Devadas. Simulation Vector Generation from HDL Descriptions for Observability-Enhanced Statement Coverage. In DAC. pages 666-671, 1999. [doi]

Abstract

Abstract is missing.