Scalable Hardware Verification with Symbolic Simulation

Name: Scalable Hardware Verification with Symbolic Simulation
Author: Valeria Bertacco

No description available.

Simulation methodsIntegrated circuitsVerificationSystem designIntegrated circuits, very large scale integrationComputer simulation