Scalable Hardware Verification With Symbolic Simulation - Bertacco (Springer, 2006)
Keywords: Engineering