Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940)

On code coverage measurement for Verilog-A

Pub Date : 2004-11-10 DOI: 10.1109/HLDVT.2004.1431251 Y. Sha, M. Lee, C. Liu

Effects of property ordering in an incremental formal modeling methodology

Pub Date : 2004-11-10 DOI: 10.1109/HLDVT.2004.1431245 S. Suhaib, D. Mathaikutty, S. Shukla

Test quality for high level structural test

Pub Date : 2004-11-10 DOI: 10.1109/HLDVT.2004.1431250 Ahmad A. Al-Yamani, E. McCluskey