共 50 条
- [41] Resilience Evaluation for Approximating SystemC Designs Using Machine Learning Techniques PROCEEDINGS OF THE 2018 29TH INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING (RSP): SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2018, : 97 - 103
- [42] Code-coverage based test vector generation for SystemC designs IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, PROCEEDINGS: EMERGING VLSI TECHNOLOGIES AND ARCHITECTURES, 2007, : 198 - +
- [43] Visualization for multiparameter aircraft designs VISUALIZATION '98, PROCEEDINGS, 1998, : 491 - +
- [44] Early Power Estimation in Heterogeneous Designs Using SoCLib and SystemC-AMS INTEGRATED CIRCUIT AND SYSTEM DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION, 2011, 6448 : 252 - 252
- [45] A new synchronization policy between PSL checkers and SystemC designs at transaction level IEEE DTIS: 2006 INTERNATIONAL CONFERENCE ON DESIGN & TEST OF INTEGRATED SYSTEMS IN NANOSCALE TECHNOLOGY, PROCEEDINGS, 2006, : 85 - 90
- [46] A Semantics-based Translation Method for Automated Verification of SystemC TLM Designs JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2013, 29 (05): : 685 - 695
- [47] A Semantics-based Translation Method for Automated Verification of SystemC TLM Designs Journal of Electronic Testing, 2013, 29 : 685 - 695
- [48] Laerte++: An object oriented high-level TPG for systemc designs LANGUAGES FOR SYSTEM SPECIFICATION: SELECTED CONTRIBUTIONS ON UML, SYSTEMC, SYSTEM VERILOG, MIXED-SIGNAL SYSTEMS, AND PROPERTY SPECIFICATION FROM FDL'03, 2004, : 105 - 117
- [49] Aspect-oriented techniques for extraction of communication models from SystemC designs 2003 5TH INTERNATIONAL CONFERENCE ON ASIC, VOLS 1 AND 2, PROCEEDINGS, 2003, : 262 - 265
- [50] Formal verification of SystemC designs using a Petri-Net based representation 2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 1228 - +