共 10 条
[1]
From design validation to hardware testing: A unified approach
[J].
JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS,
1999, 14 (1-2)
:133-140
[2]
BALARIN F, 1997, HARDWARE SOFTWARE CO
[3]
Beizer B., 2003, Software Testing Techniques
[4]
CORNO F, 1998, P 1998 ACM S APPL CO, P349
[5]
CORNO F, DATE 00
[6]
DEVADAS S, P ICCAD 96, P418
[7]
HSIEH H, P ICCAD 99, P505
[8]
KURSHAN RP, 1995, PRINCETON SERIES COM
[9]
MCMILLAN KL, 1993, SYMBOLIC MODEL CHECK
[10]
Validation Vector Grade (VVG): A new coverage metric for validation and test
[J].
17TH IEEE VLSI TEST SYMPOSIUM, PROCEEDINGS,
1999,
:182-188