Title: Scalable Hardware Verification with Symbolic Simulation
Subjects: Electronic circuits, System design, Integrated circuits