High-Level Verification: Methods and Tools for Verification of System-Level Designs

by: Sudipta Kundu · Sorin Lerner · Rajesh K. Gupta

Hardcover

details (USA).
(see also: eBook (Kindle))

details (United Kingdom).
(see also: eBook (Kindle))

details (Germany).
(see also: Kindle Ausgabe)

details (Canada).
(see also: eBook (Kindle))

ISBN: 978-1-4419-9358-8

ISBN-10: 1-4419-9358-4

Springer · 2011