The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.
Read More
The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.
Read Less
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published:
2011
Language:
English
Alibris ID:
11486127524
Shipping Options:
Standard Shipping: $4.65
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. 197 p. Programming and Software Engineering , 6504. 13 Illustrations, color; 38 Illustrations, black and white; X, 197 p. 51 illus., 13 illus. in color. Intended for professional and scholarly audience.