共 50 条
- [1] Efficient RT-Level Fault Diagnosis [J]. Journal of Computer Science and Technology, 2005, 20 : 166 - 174
- [2] Efficient RT-level fault diagnosis methodology [J]. ASP-DAC 2004: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, 2004, : 212 - 217
- [3] RT-level fault simulation based on symbolic propagation [J]. 19TH IEEE VLSI TEST SYMPOSIUM, PROCEEDINGS, 2001, : 240 - 245
- [4] An RT-level fault model with high gate level correlation [J]. IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2000, : 3 - 8
- [5] EFFICIENT RT-LEVEL VERIFICATION BY THEOREM-PROVING [J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 696 - 702
- [7] System-level dependability analysis with RT-Level fault injection accuracy [J]. 19TH IEEE INTERNATIONAL SYMPOSIUM ON DEFECT AND FAULT TOLERANCE IN VLSI SYSTEMS, PROCEEDINGS, 2004, : 451 - 458
- [8] ESTA: An efficient method for reliability enhancement of RT-Level designs [J]. PROCEEDINGS OF THE 15TH ASIAN TEST SYMPOSIUM, 2006, : 195 - +
- [9] Predictability in RT-Level designs [J]. JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2002, 11 (04) : 323 - 332
- [10] On combining fault classification and error propagation analysis in RT-level dependability evaluation [J]. 10TH IEEE INTERNATIONAL ON-LINE TESTING SYMPOSIUM, PROCEEDINGS, 2004, : 227 - 232