共 50 条
- [2] A HIGH-LEVEL APPROACH TO TEST-GENERATION [J]. 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 [J]. 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 [J]. ELECTRONICS AND POWER, 1987, 33 (05): : 307 - 311
- [7] MIXED LEVEL TEST-GENERATION FOR HIGH FAULT COVERAGE [J]. MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 791 - 796
- [8] FUNCTIONAL LEVEL PRIMITIVES IN TEST-GENERATION [J]. IEEE TRANSACTIONS ON COMPUTERS, 1980, 29 (03) : 223 - 235
- [10] FUNTEST - FUNCTIONAL TEST-GENERATION FOR VLSI-CIRCUITS AND SYSTEMS [J]. MICROELECTRONICS AND RELIABILITY, 1989, 29 (03): : 357 - 364