共 50 条
- [1] Formal Deadlock Checking on High-Level SystemC Designs [J]. 2010 IEEE AND ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2010, : 794 - 799
- [2] Object-oriented high level synthesis based on SystemC [J]. ICECS 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS, VOLS I-III, CONFERENCE PROCEEDINGS, 2001, : 529 - +
- [4] Nonintrusive high-level systemc debugging [J]. ADVANCES IN DESIGN AND SPECIFICATION LANGUAGES FOR EMBEDDED SYSTEMS, 2007, : 131 - +
- [5] A high-level programming paradigm for SystemC [J]. COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, 2004, 3133 : 530 - 539
- [6] From high-level Petri nets to SystemC [J]. 2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1032 - 1038
- [7] AN OBJECT-ORIENTED APPROACH TO HIGH-LEVEL PETRI NETS [J]. MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 213 - 220
- [8] RT-level TPG exploiting high-level synthesis information [J]. 17TH IEEE VLSI TEST SYMPOSIUM, PROCEEDINGS, 1999, : 341 - 346
- [10] High-Level Synthesis of Resource-oriented Approximate Designs for FPGAs [J]. PROCEEDINGS OF THE 2019 56TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2019,