학술논문

Cycle-accurate Verification of AHB-based RTL IP with Transaction-level System Environment
Document Type
Conference
Source
2006 International Symposium on VLSI Design, Automation and Test VLSI Design, Automation and Test, 2006 International Symposium on. :1-4 Apr, 2006
Subject
Components, Circuits, Devices and Systems
Engineered Materials, Dielectrics and Plasmas
Computing and Processing
Signal Processing and Analysis
Circuit simulation
Embedded system
Acceleration
Testing
Integrated circuit modeling
Software performance
Performance analysis
Master-slave
Hardware design languages
Delay
Language
Abstract
This paper presents cycle-accurate mixed-level simulation and acceleration method. This enables us to utilize transaction-level test vectors which are usually already implemented in early design steps and which are also easy to generate than HDL test vectors, to verify RTL design. As there is no commercial simulation environment that can efficiently handle transaction-level and RTL models at the same time, we employed two simulators for each abstraction-level modeling. To translate abstraction levels of communication between the two simulators, we implemented transactor that is inserted between them. This paper shows the principle of operation of the transactor focusing on the synchronization between transaction-level simulator and RTL simulator. In addition, we replaced RTL simulator with hardware accelerator to improve simulation performance. We implemented wrapper for hiding access routines of hardware acceleration from transaction-level simulator which is attached to the above mentioned transactor.