共 50 条
- [1] Automated Debugging-Aware Visualization Technique for SystemC HLS Designs 2021 24TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2021), 2021, : 519 - 526
- [2] Checkers for SystemC designs SECOND ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2004, : 171 - 178
- [3] System exploration of SystemC designs IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, PROCEEDINGS: EMERGING VLSI TECHNOLOGIES AND ARCHITECTURES, 2006, : 335 - +
- [5] Concolic Testing of SystemC Designs 2018 19TH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED), 2018, : 1 - 7
- [6] A framework for verification of SystemC designs using SystemC waiting state automata Advances in Intelligent Systems and Computing, 2014, 263 : 77 - 104
- [7] Symbolic Model Checking on SystemC Designs 2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 327 - 333
- [8] Runtime deadlock analysis of SystemC designs HLDVT'06: ELEVENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2006, : 187 - +
- [9] Towards a faster simulation of SystemC designs IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, PROCEEDINGS: EMERGING VLSI TECHNOLOGIES AND ARCHITECTURES, 2006, : 418 - +
- [10] Symbolic scheduling of SystemC dataflow designs Lecture Notes in Electrical Engineering, 2009, 36 LNEE : 183 - 199