Design and Verification of Microprocessor Systems for High-Assurance Applications

This text examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for high-assurance applications at various levels. It includes many practical case studies. Read More

This text examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for high-assurance applications at various levels. It includes many practical case studies. Read Less

• All from $32.70
• New Books from $121.72
• Used Books from $82.00
• eBook from $32.70

• • eBook Details

  	This is a digital edition of this title. Rent eBook (5 Options) 30 Day Rental: $32.70 (Expires Jul 22, 2025) 60 Day Rental: $43.60 (Expires Aug 21, 2025) 90 Day Rental: $54.50 (Expires Sep 20, 2025) 120 Day Rental: $65.40 (Expires Oct 20, 2025) 180 Day Rental: $70.85 (Expires Dec 19, 2025) Buy eBook Lifetime Access: $109.00 Title: Design and Verification of Microprocessor Systems for High-Assurance Applications by Author Publisher: Springer Nature Print ISBN: 9781441915382, 1441915389 eText ISBN: 9781441915399 Edition: 2010 Format: PDF eBook	$32.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