共 29 条
- [1] Visualization of SystemC designs 2007 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-11, 2007, : 413 - +
- [2] ASCHyRO: Automatic Fault Localization of SystemC HLS Designs Using a Hybrid Accurate Rank Ordering Technique 2020 IEEE 38TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD 2020), 2020, : 179 - 186
- [4] Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing 2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 602 - 605
- [5] Automated Feature Localization for Dynamically Generated SystemC Designs 2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2015, : 277 - 280
- [6] ATLaS: Automatic Detection of Timing-based Information Leakage Flows for SystemC HLS Designs 2021 26TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2021, : 67 - 72
- [7] IPA: Floorplan-Aware SystemC Interconnect Performance Modeling and Generation for HLS-based SoCs 2021 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN (ICCAD), 2021,
- [8] Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs 2020 18TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2020, : 143 - 148
- [9] Execution Synthesis: A Technique for Automated Software Debugging EUROSYS'10: PROCEEDINGS OF THE EUROSYS 2010 CONFERENCE, 2010, : 321 - 334
- [10] Advances in Automated Source-Level Debugging of Verilog Designs NEW CHALLENGES IN APPLIED INTELLIGENCE TECHNOLOGIES, 2008, 134 : 363 - 372