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

Symbolic Simulation Methods for Industrial Formal Verification

Symbolic Simulation Methods for Industrial Formal Verification

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

Symbolic Simulation Methods for Industrial Formal Verification contains two distinct, but related, approaches to the verification problem. Both are based on symbolic simulation. The first approach is applied at the gate level and has been successful in verifying sub-circuits of industrial microprocessors with tens and even hundreds of thousands of gates. The second approach is applied at a high-level of abstraction and is used for high-level descriptions of designs. The book contains three main topics: Self consistency, a technique for deriving a formal specification of design behavior from the design itself; The use of the parametric representation to encode predicates as functional vectors for symbolic simulation, an important step in addressing the state-explosion problem; Incremental flushing, a method used to verify high-level descriptions of out-of-order execution. Symbolic Simulation Methods for Industrial Formal Verification concludes with work on verification of simplified models of out-of-order processors.

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

Seamless and Secure Communications over Heterogeneous Wireless Networks

$54.99

Rechtsextremisten in Parlamenten

$44.99

Zur Philosophie und Psychologie der Ganzheit

$59.99

The Glaciers of Equatorial East Africa

$169.99

Petroleum and Basin Evolution

$84.99

Los increbles trucos de Hombre Moscca (Fly Guy #14)

$2.99

Institutional Grammar

$129.99

One-to-One-Marketing im Internet

$54.99

Earthquakes Induced by Underground Nuclear Explosions

$54.99

Paediatric Patient and Family-Centred Care: Ethical and Legal Issues

$199.99

Technische Mechanik 1

$29.99

Language Policy and Economics: The Language Question in Africa

$54.99

Scholastic Early Learners- Level D: Mermaid School

$2.99

The Carbon Star Phenomenon

$169.99

The Logical Structure of Mathematical Physics

$109.99

Romanticism and Linguistic Theory

$54.99

Natural Language Processing - NLP 2000

$39.99

Fire Hazards: Socio-economic and Regional Issues

$59.99

Deutsch als Zweitsprache frdern

$44.99

Digital Technologies in Teaching and Learning Strategies

$199.99

Analytic Semigroups and Optimal Regularity in Parabolic Problems

$119.99

International Conference on Innovative Computing and Communications

$189.00

Spin Waves

$39.99

Sexual Crime Today

$54.99

Sharing the Fire

$19.99

Die Inszenierung der Alltagswelt

$59.99

Molecular Mechanisms of Cancer

$109.99

Proceedings of the First Donegani Scientific Workshop on Strategies for Computer Chemistry

$169.99

Decision-Making during International Crises

$44.99

Interfacial Fluid Mechanics

$109.99

Lectures on nonlinear physics

$19.95

Acute Respiratory Distress Syndrome

$79.99

Interfacial Nanochemistry

$169.99

Dokumentation und Abrechnung von Mangelernhrung im Krankenhaus

$49.99

Panik und Agoraphobie

$79.99

Gefhrden Magnetfelder die Gesundheit?

$69.99

Dear Paris - The Paris Letters Collection by Janice Macleod

$24.99

Autonomous Intelligent Vehicles

$109.00

Molecular Beam Epitaxy and Heterostructures

$39.99

The Nature of Statistical Evidence

$54.99