A Data Flow Fault Coverage Metric for Validation of Behavioral HDL Descriptions.

Qiushuang Zhang, Ian G. Harris

Browse the full ICCAD paper archive.