共 50 条
- [1] Models and formal verification of multiprocessor system-on-chips JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 77 (1-2): : 1 - 19
- [2] A software test program generator for verifying system-on-chips HLDVT'05: TENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2005, : 79 - 86
- [6] Exploration of system-level trade-offs for application mapping in multiprocessor system-on-chips 2005 PHD RESEARCH IN MICROELECTRONICS AND ELECTRONICS, VOLS 1 AND 2, PROCEEDINGS, 2005, : 426 - 429
- [7] Samba-bus: A high performance bus architecture for system-on-chips ICCAD-2003: IEEE/ACM DIGEST OF TECHNICAL PAPERS, 2003, : 8 - 12
- [9] Area Optimization with Non-linear Models in Core Mapping for System-on-Chips 2019 8TH INTERNATIONAL CONFERENCE ON MODERN CIRCUITS AND SYSTEMS TECHNOLOGIES (MOCAST), 2019,