Scalable Hardware Verification with Symbolic Simulation - Bertacco, Valeria; SpringerLink (Online service) (Boston, MA : Springer Science+Business Media, Inc., 2006)
Keywords: Integrated circuits -- Verification -- Simulation methods; System design -- Simulation methods