共 50 条
- [41] On per-test fault diagnosis using the X-fault model ICCAD-2004: INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, IEEE/ACM DIGEST OF TECHNICAL PAPERS, 2004, : 633 - 640
- [42] SAT-based ATPG beyond stuck-at fault testing Applications to fault tolerance IT-INFORMATION TECHNOLOGY, 2014, 56 (04): : 165 - 172
- [43] Model-Based Test Suite Generation Using Mutation Analysis for Fault Localization APPLIED SCIENCES-BASEL, 2019, 9 (17):
- [44] Fast enhancement of validation test sets to improve stuck-at fault coverage for RTL circuits 20TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS: TECHNOLOGY CHALLENGES IN THE NANOELECTRONICS ERA, 2007, : 504 - +
- [45] Using RT Level Component Descriptions for Single Stuck-at Hierarchical Fault Simulation Journal of Electronic Testing, 2004, 20 : 575 - 589
- [46] Digital oscillation-test method for delay and stuck-at fault testing of digital circuits INTERNATIONAL TEST CONFERENCE 1998, PROCEEDINGS, 1998, : 91 - 100
- [47] Using RT level component descriptions for single stuck-at hierarchical fault simulation JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2004, 20 (06): : 575 - 589
- [48] Model checking the design of an unrestricted, stuck-at fault tolerant, asynchronous sequential circuit using SMV FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2002, 2517 : 310 - 323
- [49] Fuzzy delay model based fault simulator for crosstalk delay fault test generation in asynchronous sequential circuits Sadhana, 2015, 40 : 107 - 119
- [50] Fuzzy delay model based fault simulator for crosstalk delay fault test generation in asynchronous sequential circuits SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 2015, 40 (01): : 107 - 119