共 50 条
- [23] Automatic UVM Environment Generation for Assertion-based and Functional Verification of SystemC Designs 2014 15TH INTERNATIONAL MICROPROCESSOR TEST AND VERIFICATION WORKSHOP (MTV 2014), 2015, : 16 - 21
- [24] Map-based Analysis of IEMI Fault Injection into Cryptographic Devices 2013 IEEE INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC COMPATIBILITY (EMC), 2013, : 829 - 833
- [27] Assertion based verification of PSL for SystemC designs 2004 INTERNATIONAL SYMPOSIUM ON SYSTEM-ON-CHIP, PROCEEDINGS, 2004, : 177 - 180
- [28] Automatic Adaptation of Software Applications to Database Evolution by Graph Differencing and AOP-based Dynamic Patching 2012 IEEE 36TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2012, : 111 - 118
- [29] A functional verification based fault injection environment DFT 2007: 22ND IEEE INTERNATIONAL SYMPOSIUM ON DEFECT AND FAULT-TOLERANCE IN VLSI SYSTEMS, PROCEEDINGS, 2007, : 114 - 122
- [30] SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits∗ IACR Transactions on Cryptographic Hardware and Embedded Systems, 2024, 2024 (04): : 1 - 39