共 50 条
- [42] Expressing Properties of Resource-Bounded Systems: The Logics RTL☆ and RTL [J]. COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2010, 6214 : 22 - +
- [43] Study on ATPG failure with butterfly pattern [J]. ISTFA 2012: CONFERENCE PROCEEDINGS FROM THE 38TH INTERNATIONAL SYMPOSIUM FOR TESTING AND FAILURE ANALYSIS, 2012, : 375 - 378
- [44] Novel ATPG algorithms for transition faults [J]. ETW'02: 7TH IEEE EUROPEAN TEST WORKSHOP, PROCEEDINGS, 2002, : 47 - 52
- [46] Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction [J]. 2011 16TH IEEE EUROPEAN TEST SYMPOSIUM (ETS), 2011, : 117 - 122
- [47] RTL-Spec: RTL Spectrum Analysis for Security Bug Localization [J]. 2024 IEEE INTERNATIONAL SYMPOSIUM ON HARDWARE ORIENTED SECURITY AND TRUST, HOST, 2024, : 171 - 181
- [50] Compact ATPG for concurrent SOC testing [J]. 5TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION: COMMON CHALLENGES AND SOLUTIONS, PROCEEDINGS, 2005, : 16 - 21