Scalable Hardware Verification with Symbolic Simulation - Bertacco, Valeria (Springer US, 2006)