Valeria Bertacco

4 books • 2 series

Dec 3, 2010
Cover of Post-Silicon and Runtime Verification for Modern Processors

Post-Silicon and Runtime Verification for Modern Processors

Jan 1, 2009
Cover of Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair

Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair (Lecture Notes in Electrical Engineering)

Dec 10, 2008
Cover of Functional Design Errors in Digital Circuits

Functional Design Errors in Digital Circuits (Lecture Notes in Electrical Engineering, #32)

Dec 21, 2005
Cover of Scalable Hardware Verification with Symbolic Simulation

Scalable Hardware Verification with Symbolic Simulation (Springer Series in Optical Sciences)