共 50 条
- [2] A HIGH-LEVEL APPROACH TO TEST-GENERATION IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-FUNDAMENTAL THEORY AND APPLICATIONS, 1993, 40 (07): : 483 - 492
- [4] CRG godel based high-level test generation algorithm for VLSI ICEMI 2007: PROCEEDINGS OF 2007 8TH INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT & INSTRUMENTS, VOL I, 2007, : 169 - 173
- [5] CATE - A SOFTWARE TOOLSET FOR VLSI TEST-GENERATION ELECTRONICS AND POWER, 1987, 33 (05): : 307 - 311
- [7] MIXED LEVEL TEST-GENERATION FOR HIGH FAULT COVERAGE MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 791 - 796