O'Reilly logo

Hardware Design Verification: Simulation and Formal Method-Based Approaches by William K. Lam

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

Chapter 3. Simulator Architectures and Operations

Once a design is free of statically detectable errors, it is ready to be verified by simulation. To use a simulator effectively, it is imperative first to understand its architecture. Following this philosophy, this chapter is organized in two parts: The first part is devoted to architectures of simulators, and the second discusses simulator operations. In studying simulator architecture, we will examine in depth two typical simulators on the extremes of the simulator spectrum. We then discuss how simulator types in the middle portion of the ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required