共 50 条
- [2] Systematic embedded software generation from SystemC. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, 2003, : 142 - 147
- [4] Towards automated implementation of adaptive systems from abstract SystemC specificationsFrom SystemC adaptive processes to embedded software and to synthesizable hardware descriptions Design Automation for Embedded Systems, 2012, 16 : 129 - 160
- [5] Rapid embedded hardware/software system generation 18TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS: POWER AWARE DESIGN OF VLSI SYSTEMS, 2005, : 111 - 116
- [6] A SystemC refinement methodology for embedded software IEEE DESIGN & TEST OF COMPUTERS, 2006, 23 (02): : 148 - 158
- [7] Automatic Hardware/Software Interface Generation for Embedded System JOURNAL OF INFORMATION PROCESSING SYSTEMS, 2006, 2 (03): : 137 - 142
- [8] Formal verification of SystemC by automatic hardware/software partitioning THIRD ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2005, : 101 - 110
- [9] Automated SystemC to VHDL translation in hardware/software codesign ICES 2002: 9TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS, VOLS I-111, CONFERENCE PROCEEDINGS, 2002, : 717 - 720
- [10] Cosimulation of ITRON-based embedded software with SystemC HLDVT'05: TENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2005, : 71 - 76