Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

VLSI Specification, Verification and Synthesis

VLSI Specification, Verification and Synthesis

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9781461320074
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

New Perspectives On Muscovite History

$49.99

Zur Ordnung des Wirtschaftslebens

$64.99

Being Feminist, Being Christian

$54.99

ber Mittelpunktseilinien

$49.99

Architekturpsychologie Perspektiven

$49.99

Formal Object-Oriented Development

$54.99

Politische Bildung und Kritische Theorie

$39.99

After Politics

$84.99

Fluid Mechanics and Fluid Power (Vol. 3)

$299.99

The Korean Government and Public Policies in a Development Nexus

$129.00

Learning Progressions in Science

$49.99

Computational Science and Its Applications - ICCSA 2010

$109.99

The Politics of Multinational States

$109.99

Thinking about Society: Theory and Practice

$169.00

Politikverdrossenheit in der Bundesrepublik Deutschland

$59.99

Principles and Applications of Magnetic Particle Imaging

$54.99

Handbuch der Wirtschaftssoziologie

$44.99

Modeling and Simulation of Mechatronic Systems using Simscape

$64.99

Integrated Devices for Quantum Information with Polarization Encoded Qubits

$109.99

Toward a Theory on Biological-Physical Interactions in the World Ocean

$39.99

Methods of Laser Spectroscopy

$54.99

Identity in Education

$54.99

Finanzwissenschaft

$59.99

Supply Chain Management: Models, Applications, and Research Directions

$129.00

Wind Energy 19751985

$54.99

Bildnerei der Geisteskranken

$74.99

Untersuchung des Schichtverzuges am Beispiel der Hochleistungsemulsion KODAK 103-F

$59.99

The Human Locomotor System

$119.99

Natural Resources Deterioration in MENA Region

$219.99

Successful Case-based Reasoning Applications-2

$84.99

State of the Art Techniques in Critical Care Echocardiography

$139.99

Bayesian Item Response Modeling

$159.99

The Medieval Poetics of the Reliquary

$84.99

Electric Current and Atmospheric Motion

$219.99

Experiment-Based Structural Mechanics

$39.99

Muslim Women and Shari'ah Councils

$109.99

Kropotkin, Read, and the Intellectual History of British Anarchism

$54.99

Wheat Biotechnology

$169.99

Jervis's Insects as Natural Enemies: Practical Perspectives

$249.99

Unternehmenskonomie

$69.99