Bertacco, Valeria books & textbook
Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings (Programming and Software Engineering)
Springer /2013-10-31 Paperback / 386 Pages
isbn-10: 3319030760 / isbn-13: 9783319030760
Scalable Hardware Verification with Symbolic Simulation
Springer /2010-10-29 Paperback / 200 Pages
isbn-10: 1441937390 / isbn-13: 9781441937391
Scalable Hardware Verification with Symbolic Simulation (Medical Radiology)
Springer /2008-08-30 Paperback / 200 Pages
isbn-10: 0387505059 / isbn-13: 9780387505053
Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair (Lecture Notes in Electrical Engineering, 32)
Kai-hui Chang Igor L. Markov Valeria Bertacco
Springer /2010-10-28 Paperback / 224 Pages
isbn-10: 9048181127 / isbn-13: 9789048181124
Post-Silicon and Runtime Verification for Modern Processors
Wagner, Ilya Bertacco, Valeria
Springer /2014-09-28 Paperback / 241 Pages
isbn-10: 1489981500 / isbn-13: 9781489981509
