共 50 条
- [42] SYSTEM-LEVEL DESIGN VERIFICATION IN THE AT-AND-T COMPUTER DIVISION - OVERVIEW AND STRATEGY PROCEEDINGS - IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN : VLSI IN COMPUTERS & PROCESSORS, 1989, : 542 - 547
- [43] An interactive verification and debugging environment by concrete/symbolic simulations for system-level designs PROCEEDINGS OF THE 17TH ASIAN TEST SYMPOSIUM, 2008, : 315 - +
- [44] Model-driven system-level validation and verification on the space software domain SOFTWARE AND SYSTEMS MODELING, 2022, 21 (06): : 2367 - 2394
- [45] An efficient system-level to RTL verification framework for computation-intensive applications 14TH ASIAN TEST SYMPOSIUM, PROCEEDINGS, 2005, : 28 - 33
- [46] A System-Level Approach for Model-Based Verification of Distributed Software Systems 2013 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC 2013), 2013, : 2545 - 2550
- [47] Introspection mechanisms for semi-formal verification in a system-level design environment SEVENTEENTH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, 2006, : 91 - +
- [48] System-Level Development and Verification of the FlexRay Communication Controller Model Based on SystemC FGCN: PROCEEDINGS OF THE 2008 SECOND INTERNATIONAL CONFERENCE ON FUTURE GENERATION COMMUNICATION AND NETWORKING, VOLS 1 AND 2, 2008, : 620 - +
- [49] Model-driven system-level validation and verification on the space software domain Software and Systems Modeling, 2022, 21 (6): : 2367 - 2394