共 50 条
- [31] A proposal for transaction-level verification with Component Wrapper Language DESIGNERS FORUM: DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2003, : 82 - 87
- [32] Automating hazard checking in transaction-level microarchitecture models FMCAD 2007: FORMAL METHODS IN COMPUTER AIDED DESIGN, PROCEEDINGS, 2007, : 62 - 65
- [35] Transaction-Level Modeling and Refinement Using State Charts COMPUTER AIDED SYSTEMS THEORY, PT 1, 2013, 8111 : 134 - 141
- [36] A method for the efficient development of timed and untimed Transaction-Level Models of Systems-on-Chip 2008 DESIGN, AUTOMATION AND TEST IN EUROPE, VOLS 1-3, 2008, : 7 - +
- [37] Power-Aware Wrappers for Transaction-Level Virtual Prototypes: a Black Box Based Approach 2013 26TH INTERNATIONAL CONFERENCE ON VLSI DESIGN AND 2013 12TH INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS (VLSID), 2013, : 239 - 244
- [38] A Transaction-Level Framework for Design-Space Exploration of Hardware-Enhanced Operating Systems 2014 INTERNATIONAL SYMPOSIUM ON SYSTEM-ON-CHIP (SOC), 2014,
- [39] Accelerating Multi-party Scheduling for Transaction-level Modeling GLSVLSI 2009: PROCEEDINGS OF THE 2009 GREAT LAKES SYMPOSIUM ON VLSI, 2009, : 339 - 344
- [40] Transaction-level object-oriented framework for SOC design 2005 INTERNATIONAL CONFERENCE ON COMMUNICATIONS, CIRCUITS AND SYSTEMS, VOLS 1 AND 2, PROCEEDINGS: VOL 1: COMMUNICATION THEORY AND SYSTEMS, 2005, : 1343 - 1347