IBM's Cycle-Simulation-Based Verification Methodology

Abstract

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.