共 50 条
- [1] Pre-silicon verification of multiprocessor SoCs: the case for on-the-fly coherence/consistency checking [J]. 2013 IEEE 20TH INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS, AND SYSTEMS (ICECS), 2013, : 843 - 846
- [2] Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study [J]. 2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 1000 - 1005
- [3] Bridging Pre-Silicon Verification and Post-Silicon Validation [J]. PROCEEDINGS OF THE 47TH DESIGN AUTOMATION CONFERENCE, 2010, : 94 - 95
- [4] Pre-Silicon FEC Decoding Verification on SoC FPGAs [J]. IEEE COMMUNICATIONS LETTERS, 2021, 25 (01) : 127 - 131
- [5] Pre-Silicon Security Verification and Validation: A Formal Perspective [J]. 2015 52ND ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2015,
- [6] Evolutionary Computation in Pre-Silicon Verification of Complex Microprocessors [J]. 2009 IEEE WORKSHOP ON EVOLVABLE AND ADAPTIVE HARDWARE: (WEAH), 2009, : 25 - +
- [7] Pre-Silicon DFT verification on SOC slim model [J]. 2018 19TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR AND SOC TEST, SECURITY AND VERIFICATION (MTV), 2018, : 76 - 78
- [8] A Unified Methodology for Pre-Silicon Verification and Post-Silicon Validation [J]. 2011 DESIGN, AUTOMATION & TEST IN EUROPE (DATE), 2011, : 1590 - 1595
- [9] Hardware Virtualization for Pre-Silicon Software Development in Automotive Electronics [J]. SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2009, 2 (01): : 367 - 375
- [10] Pre-silicon Formal Verification of JTAG Instruction Opcodes for Security [J]. 2018 IEEE INTERNATIONAL TEST CONFERENCE (ITC), 2018,