共 50 条
- [41] UVM Based Approaches to Functional Verification of Communication Controllers of Microprocessor Systems PROCEEDINGS OF 2016 IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS), 2016,
- [42] Model-Based Coverage-Driven Test Suite Generation for Software Product Lines MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2011, 6981 : 425 - +
- [43] Robust Functional Verification Framework Based in UVM Applied to an AES Encryption Module 2018 NEW GENERATION OF CAS (NGCAS), 2018, : 194 - 197
- [44] Coverage driven test generation framework for RTL functional verification PROCEEDINGS OF 2007 10TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN AND COMPUTER GRAPHICS, 2007, : 321 - 326
- [45] Design of Verification Platform for CAN-FD IP Customized SRAM Controller Based on UVM 2020 THE 5TH IEEE INTERNATIONAL CONFERENCE ON INTEGRATED CIRCUITS AND MICROSYSTEMS (ICICM 2020), 2020, : 218 - 222
- [46] 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
- [47] Architectural Trace-Based Functional Coverage for Multiprocessor Verification PROCEEDINGS OF THE 13TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION (MTV 2012), 2012, : 1 - 5
- [48] Novel Test Structures for 2D-Mesh NoC with Evaluation on the Coverage-driven & VMM-based Testbench WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, WCECS 2011, VOL II, 2011, : 797 - 801
- [49] Constrained-Based Symbolic Execution on Virtual Models for Functional Coverage Verification 2015 TENTH INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING & SYSTEMS (ICCES), 2015, : 99 - 104
- [50] Automatic High Functional Coverage Stimuli Generation for Assertion-based Verification 2024 IEEE 30TH INTERNATIONAL SYMPOSIUM ON ON-LINE TESTING AND ROBUST SYSTEM DESIGN, IOLTS 2024, 2024,