[IEEE Comput. Soc 2001 Pacific Rim International Symposium on Dependable Computing - Seoul, South Korea (17-19 Dec. 2001)] Proceedings 2001 Pacific Rim International Symposium on Dependable Computing - ECC: extended condition coverage for design verification using excitation and observation
Byeong Min,, Gwan Choi,Year:
2001
Language:
english
DOI:
10.1109/prdc.2001.992696
File:
PDF, 731 KB
english, 2001