2 works on record
Scalable Hardware Verification with Symbolic Simulation
Hardware and Software : Verification and Testing