IBM's Cycle-Simulation-Based Verification Methodology


IBM has a 20+ year history of using cycle-based simulation at the core of its hardware verification flow. This talk will first give an overview of the different aspects of IBM's verification methodology with an emphasis on the tradeoffs that are possible when inexpensive simulation capacity is available to projects. After a quick survey of the different approaches to cycle-based simulation we will discuss algorithms of the current simulator, which was developed in Austin and is internally called Texsim.

©2002-2018 U.C. Regents