共 50 条
- [1] Functional verification with completely self-checking tests [J]. 1997 IEEE INTERNATIONAL VERILOG HDL CONFERENCE, PROCEEDINGS, 1997, : 2 - 9
- [2] Verification and analysis of self-checking properties through ATPG [J]. 14TH IEEE INTERNATIONAL ON-LINE TESTING SYMPOSIUM, PROCEEDINGS, 2008, : 25 - 30
- [3] Design, verification, and validation of self-checking software components [J]. CONFERENCE PROCEEDINGS OF THE 1996 IEEE FIFTEENTH ANNUAL INTERNATIONAL PHOENIX CONFERENCE ON COMPUTERS AND COMMUNICATIONS, 1996, : 420 - 426
- [4] An automated testing methodology based on self-checking software [J]. PROCEEDINGS OF THE IEEE 1998 NATIONAL AEROSPACE AND ELECTRONICS CONFERENCE, 1998, : 205 - 212
- [8] State Encoding and Minimization Methodology for Self-Checking Sequential Machines [J]. COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2011, PT I, 2012, 6927 : 551 - 558
- [9] A SELF-CHECKING AUDIOMETER [J]. JOURNAL OF THE AUDIO ENGINEERING SOCIETY, 1967, 15 (01): : 51 - &