Scalable Hardware Verification with Symbolic Simulation - Bertacco, Valeria (Springer Science+Business Media, Inc., 2006)