Valeria Bertacco: Scalable Hardware Verification with Symbolic Simulation
____________________________
Author: Valeria Bertacco
Number of Pages: 180 pages
Published Date: 29 Oct 2010
Publisher: Springer-Verlag New York Inc.
Publication Country: New York, NY, United States
Language: English
ISBN: 9781441937391
Download Link: Click Here
____________________________