Home›Books›Scalable Hardware Verification with Symbolic SimulationScalable Hardware Verification with Symbolic Simulationby Valeria BertaccoNo description available.Electronic circuitsSystem designIntegrated circuits