Post-Silicon and Runtime Verification for Modern Processors
by Ilya Wagner,Valeria Bertacco
ISBN 13: 9781441980335
Format: Hardcover (224 pages) Publisher: Springer Published: 03 Dec 2010
Save for later
Scalable Hardware Verification with Symbolic Simulation
by Valeria Bertacco
ISBN 13: 9781441937391
Format: Paperback (200 pages) Publisher: Springer Published: 12 Feb 2010