Scalable hardware verification with symbolic simulation - Bertacco, Valeria (New York Springer, 2006)
Keywords: Integrated circuits -- Verification -- Simulation methods; System design -- Simulation methods