共 50 条
- [1] AN AUTOMATIC TEST-GENERATION SYSTEM FOR LARGE DIGITAL CIRCUITS [J]. IEEE DESIGN & TEST OF COMPUTERS, 1985, 2 (05): : 54 - 60
- [4] Automatic test-generation for predicates [J]. IEEE TRANSACTIONS ON RELIABILITY, 1996, 45 (04) : 515 - 530
- [5] AUTOMATIC SOFTWARE TEST-GENERATION [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1990, 32 (05) : 337 - 346
- [6] AUTOMATIC INVESTIGATION OF QUALITY FUNCTIONS OF ELECTRONIC-CIRCUITS [J]. IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII RADIOELEKTRONIKA, 1981, 24 (06): : 67 - 72
- [8] TEST-GENERATION FOR DIGITAL CIRCUITS DESCRIBED BY MEANS OF REGISTER TRANSFER LANGUAGES [J]. IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1987, 134 (02): : 69 - 77
- [10] APPLICATION PACKAGE FOR THE AUTOMATIC TEST-GENERATION [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1984, (01): : 67 - 71