共 50 条
- [31] Integrating assertion-based verification into system-level synthesis methodology 16TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS, PROCEEDINGS, 2004, : 232 - 235
- [32] A system-level co-verification environment for ATM hardware design DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 424 - 428
- [33] A Two-Level Waveform Relaxation Approach for System-Level Power Delivery Verification IEEE ELECTRICAL DESIGN OF ADVANCED PACKAGING AND SYSTEMS, EDAPS 2023, 2023,
- [34] System-Level Assertion-Based Performance Verification for Embedded Systems ADVANCES IN COMPUTER SCIENCE AND ENGINEERING, 2008, 6 : 243 - 250
- [35] SYSTEM-LEVEL DESIGN VERIFICATION IN THE AT-AND-T COMPUTER DIVISION - TOOLS PROCEEDINGS - IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN : VLSI IN COMPUTERS & PROCESSORS, 1989, : 548 - 554
- [36] On the verification of system-level information flow properties for virtualized execution platforms Journal of Cryptographic Engineering, 2019, 9 : 243 - 261
- [40] Comparison of information passing strategies in system-level modeling 1600, AIAA International (53):