共 50 条
- [1] System-level assertions: approach for electronic system-level verification IET COMPUTERS AND DIGITAL TECHNIQUES, 2015, 9 (03): : 142 - 152
- [5] Design for verification in system-level models and RTL 2007 44TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2007, : 193 - 198
- [6] A Verification Approach for System-Level Concurrent Programs VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 5295 : 161 - 176
- [7] Challenges in using system-level models for RTL verification 2008 45TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2008, : 812 - 815
- [8] Synchronization verification in system-level design with ILP solvers THIRD ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2005, : 121 - 130
- [10] System-Level Verification of Embedded Operating Systems Components 2012 BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEM ENGINEERING (SBESC 2012), 2012, : 161 - 165