Scalable hardware verification with symbolic simulation - Bertacco, Valeria (Springer, 2006)