Valeria Bertacco profile picture

Valeria Bertacco

Is this your author profile? Create an account to customize it!

Stand Alone

Scalable Hardware Verification with Symbolic Simulation
Hardware and Software : Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Functional Design Errors in Digital Circuits Diagnosis Correction and Repair
Functional Design Errors in Digital Circuits