Formal Verification of Microprocessors 2016: Automatic and Scalable Methods for Pipelined, Superscalar, and VLIW Designs (Hardback)
  • Formal Verification of Microprocessors 2016: Automatic and Scalable Methods for Pipelined, Superscalar, and VLIW Designs (Hardback)
zoom

Formal Verification of Microprocessors 2016: Automatic and Scalable Methods for Pipelined, Superscalar, and VLIW Designs (Hardback)

(author)
£69.99
Hardback 490 Pages / Published: 01/05/2010
  • Out of stock

This product is currently unavailable.

  • This item has been added to your basket
Formal verification is the mathematical proof of correctness of computer systems. Microprocessors are the most important components in computer systems, and are increasingly being used in safety-critical applications, e.g., to monitor the health of patients, to control the engines and breaks of cars, to drive autonomous vehicles and fly autonomous aircraft, and to control weapons systems. As such the correctness of microprocessors is a matter of public safety and national security. Furthermore, for the companies that design and manufacture microprocessors or systems controlled by them, the correctness of microprocessors is a matter of business success or failure. Statistics from industrial microprocessor designs indicate that up to 90% of the engineering effort is spent on verification, which increasingly becomes the bottleneck in developing new products. Formal verification has the potential to significantly reduce the design time, while also guaranteeing complete correctness. However, previous approaches for formal verification of microprocessors either do not scale for complex designs or require prohibitive amounts of manual effort by experts. In contrast, this book presents a highly automatic and scalable method for formal verification of complex processors, including pipelined, superscalar, and VLIW designs.

Publisher: Springer-Verlag New York Inc.
ISBN: 9781441909558
Number of pages: 490
Dimensions: 235 x 155 mm
Edition: 2015 ed.

You may also be interested in...

Exploring Arduino
Added to basket
£26.99
Paperback
Make: More Electronics
Added to basket
Encyclopedia of Electronic Components
Added to basket
Getting Started with Arduino
Added to basket
The Inventor of Stereo
Added to basket
Arduino Workshop
Added to basket
£24.99
Paperback
The Oxford Solid State Basics
Added to basket
Arduino For Dummies
Added to basket
£16.99
Paperback
Electronics All-in-One For Dummies - UK
Added to basket
Arduino Cookbook
Added to basket
Circuit Analysis for Dummies
Added to basket
The Lego Mindstorms Ev3 Discovery Book
Added to basket
Arduino Projects For Dummies
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.