Scalable Hardware Verification with Symbolic Simulationde Valeria BertaccoMateriasSimulation methodsIntegrated circuitsVerificationSystem designIntegrated circuits, very large scale integrationComputer simulationEdiciones (1)Scalable Hardware Verification with Symbolic Simulation (2005)Springer · inglés · ISBN 9780387244112Más obras de Valeria Bertacco