COMPREHENSIVE FUNCTIONAL VERIFICATION: THE COMPLETE INDUSTRY CYCLE by Bruce Wile, John C. Goss, and Wolfgang Roesner of IBM Corporation
This book provides detailed descriptions of the multiple disciplines and practices used for functional verification in the industry today. It covers the two main functional verification methods: simulation-based verification and formal verification. Topics include:
Managing large verification efforts
Examining algorithms used by the various verification tools
Methods used for simulation and formal based verification
Driving and checking techniques used for simulation
Model checking, its current usage and future direction
Industry examples drawn from the experiences of the IBM authors help to illustrate the challenges faced in functional verification.
The verification environments included with the examples in the book were provided by various EDA vendors and allow students to work with the Calc examples using Cadence tools.
Avi Behar, Senior Product Engineer, Cadence Verification Division, developed the Calc e verification environment, which demonstrates the cutting-edge methodology and capabilities behind Cadence's Specman Elite verification automation tool.
