Raamatud Valeria Bertacco
Scalable Hardware Verification with Symbolic Simulation
-40% koodiga BOOKS
Meie tarnija laos
Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair
Kai-Hui Chang, Valeria Bertacco, Igor L. Markov
-40% koodiga BOOKS
Meie tarnija laos
Post-Silicon and Runtime Verification for Modern Processors
-40% koodiga BOOKS
Meie tarnija laos
Scalable Hardware Verification with Symbolic Simulation
-40% koodiga BOOKS
Meie tarnija laos
Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair
Kai-Hui Chang, Igor L Markov, Valeria Bertacco
-40% koodiga BOOKS
Meie tarnija laos
Post-Silicon and Runtime Verification for Modern Processors
-40% koodiga BOOKS
Meie tarnija laos