1
Post-Silicon and Runtime Verification for Modern Processors [E-Book] /
2
Functional Design Errors in Digital Circuits [E-Book] : Diagnosis, Correction and Repair /
3
Scalable Hardware Verification with Symbolic Simulation [E-Book] /