Scalable Hardware Verification with Symbolic Simulation

Design and Verification of Digital Systems.- Symbolic Simulation.- Compacting Intermediate States.- Approximate Simulation.- Exact Parametrizations.- Conclusion.