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

The growing complexity of the design process for systems on chip (SOCs) allows the use of more demanding computing languages, with a principle goal being verification at a higher level of abstraction. This book focuses on these high-level verification methods. Read More

The growing complexity of the design process for systems on chip (SOCs) allows the use of more demanding computing languages, with a principle goal being verification at a higher level of abstraction. This book focuses on these high-level verification methods. Read Less

• All from $29.70
• New Books from $112.32
• eBook from $29.70

• • eBook Details

  	This is a digital edition of this title. Rent eBook (5 Options) 30 Day Rental: $29.70 (Expires Feb 23, 2025) 60 Day Rental: $39.60 (Expires Mar 25, 2025) 90 Day Rental: $49.50 (Expires Apr 24, 2025) 120 Day Rental: $59.40 (Expires May 24, 2025) 180 Day Rental: $64.35 (Expires Jul 23, 2025) Buy eBook Lifetime Access: $99.00 Title: High-Level Verification by Sudipta Kundu; Sorin Lerner; Rajesh K. Gupta Publisher: Springer Nature Print ISBN: 9781441993588, 1441993584 eText ISBN: 9781441993595 Edition: 2011 2011 edition Format: EPUB eBook	$29.70 Rent eBook This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ