DocumentCode
3375552
Title
Accelerating RTL Simulation by Several Orders of Magnitude Using Clock Suppression
Author
Muhr, Hannes ; Holler, Roland
Author_Institution
Inst. of Comput. Technol., Vienna Univ. of Technol.
fYear
2006
fDate
17-20 July 2006
Firstpage
123
Lastpage
128
Abstract
In recent years designers of embedded computer systems face a tremendous growth in complexity of their systems. This, together with the fact that the used system clock frequencies rise and that the real time required to see features start up and work correctly in an embedded system also increases, let skyrocket the simulation times of event based simulation engines. Performing these simulations on register transfer level (RTL), however, is crucial to achieve functional verification of embedded computer systems. The acceleration of such event based simulations thus is the aim of the work presented in this paper. To this end a methodology called clock suppression is presented and thoroughly discussed. To underpin the feasibility and performance of this approach, evaluation results of simulation experiments for several designs will be shown
Keywords
embedded systems; formal verification; hardware description languages; hardware-software codesign; RTL simulation; clock suppression; embedded computer system design; event based simulation engine; functional verification; register transfer level; Acceleration; Clocks; Computational modeling; Computer simulation; Discrete event simulation; Embedded computing; Embedded system; Engines; Frequency; Real time systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Embedded Computer Systems: Architectures, Modeling and Simulation, 2006. IC-SAMOS 2006. International Conference on
Conference_Location
Samos
Print_ISBN
1-4244-0155-0
Type
conf
DOI
10.1109/ICSAMOS.2006.300818
Filename
4084759
Link To Document