共 50 条
- [22] SystemC transaction level models and RTL verification 43rd Design Automation Conference, Proceedings 2006, 2006, : 90 - 92
- [23] Transaction level modeling: Flows and use models INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN AND SYSTEM SYNTHESIS, 2004, : 75 - 80
- [24] Static analysis of transaction-level models 40TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2003, 2003, : 448 - 453
- [25] Design for verification of SystemC transaction level models DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2005, : 560 - +
- [27] Determination of the abstraction level in production network models 52ND CIRP CONFERENCE ON MANUFACTURING SYSTEMS (CMS), 2019, 81 : 198 - 203
- [30] High level synthesis of timed asynchronous circuits 11TH IEEE INTERNATIONAL SYMPOSIUM ON ASYNCHRONOUS CIRCUITS AND SYSTEMS, PROCEEDINGS, 2005, : 178 - 189