EverLost:  A Flexible Platform for Industrial-Strength
Abstraction-Guided Simulation

Flavio M. de Paula, and Alan J. Hu

Computer-Aided Verification:  18th International Conference (CAV 2006)

Abstraction-guided simulation is a general framework for automatically
harnessing, during simulation, information from abstraction and model
checking.  EverLost is our platform for industrial-strength
abstraction-guided simulation.  EverLost takes an RTL Verilog design
and preimage/abstraction information from any BDD-based
abstraction/model-checking tool, and automatically generates code that
implements abstraction-guided simulation and directly compiles with the
design under the widely-used Synopsys VCS simulator.  The platform
enables flexible exploration of abstraction-guided simulation ---
different formal tools and guidance heuristics are easily inserted ---
while providing the capacity, speed, and Verilog compatibility of a
leading industry-standard tool.