Title: Scalable Hardware Verification with Symbolic Simulation
Subjects: Simulation methods, Integrated circuits, Verification, System design, Integrated circuits, very large scale integration, Computer simulation