• Sign In / Register
  • Help
  • Basket0
VLSI Specification, Verification and Synthesis - The Springer International Series in Engineering and Computer Science 35 (Paperback)
  • VLSI Specification, Verification and Synthesis - The Springer International Series in Engineering and Computer Science 35 (Paperback)
zoom

VLSI Specification, Verification and Synthesis - The Springer International Series in Engineering and Computer Science 35 (Paperback)

(editor), (editor)
£109.99
Paperback 404 Pages / Published: 14/08/2013
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
VLSI Specification, Verification and Synthesis Proceedings of a workshop held in Calgary from 12-16 January 1987. The collection of papers in this book represents some of the discussions and presentations at a workshop on hardware verification held in Calgary, January 12-16 1987. The thrust of the workshop was to give the floor to a few leading researchers involved in the use of formal approaches to VLSI design, and provide them ample time to develop not only their latest ideas but also the evolution of these ideas. In contrast to simulation, where the objective is to assist in detecting errors in system behavior in the case of some selected inputs, the intent of hardware verification is to formally prove that a chip design meets a specification of its intended behavior (for all acceptable inputs). There are several important applications where formal verification of designs may be argued to be cost-effective. Examples include hardware components used in "safety critical" applications such as flight control, industrial plants, and medical life-support systems (such as pacemakers). The problems are of such magnitude in certain defense applications that the UK Ministry of Defense feels it cannot rely on commercial chips and has embarked on a program of producing formally verified chips to its own specification. Hospital, civil aviation, and transport boards in the UK will also use these chips. A second application domain for verification is afforded by industry where specific chips may be used in high volume or be remotely placed.

Publisher: Springer-Verlag New York Inc.
ISBN: 9781461291978
Number of pages: 404
Weight: 640 g
Dimensions: 235 x 155 x 22 mm
Edition: Softcover reprint of the original 1st ed. 198

You may also be interested in...

Cybernetics
Added to basket
£8.50
Paperback
Encyclopedia of Electronic Components
Added to basket
Arduino Projects For Dummies
Added to basket
Arduino Workshop
Added to basket
£24.99
Paperback
Arduino For Dummies
Added to basket
£16.99
Paperback
The Lego Mindstorms Ev3 Discovery Book
Added to basket
The Oxford Solid State Basics
Added to basket
Electronics For Dummies
Added to basket
Electronic Circuits, 4th ed
Added to basket
Electronics All-in-one For Dummies
Added to basket
Exploring Arduino
Added to basket
£27.99
Paperback
Getting Started with Arduino
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.