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

SAT-Based Scalable Formal Verification Solutions

SAT-Based Scalable Formal Verification Solutions

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

Functional verification has become an important aspect of the chip design process. Significant resources, both in industry and academia, are devoted to the design complexity and verification endeavors. SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based techniques including: Hybrid SAT Solver, Customized Bounded/Unbounded Model Checking, Distributed Model Checking, Proofs and Proof-based Abstraction Methods, Verification of Embedded Memory System & Multi-clock Systems, and Synthesis for Verification Paradigm. These techniques have been designed and implemented in a verification platform Verisol (formally called DiVer) and have been used successfully in industry. This book provides algorithmic details and engineering insights into devising scalable approaches for an effective realization. It also includes the authors practical experiences and recommendations in verifying the large industry designs using VeriSol. The book is primarily written for researchers, scientists, and verification engineers who would like to gain an in-depth understanding of scalable SAT-based verification techniques. The book will also be of interest for CAD tool developers who would like to incorporate various SAT-based advanced techniques in their products.

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

Single Product Purchase

$89.00
@ 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
$89.00 $89.00

$89.00
See Site In stock Visit Store

Similar Products

Nutrition, Exercise and Epigenetics: Ageing Interventions

$169.99

Augenpflege

$59.99

Who Would Win?: Battle Royale by Jerry Pallotta

$9.99

Computer Algebra in Scientific Computing

$54.99

Thin Liquid Films

$54.99

Stable Homotopy Around the Arf-Kervaire Invariant

$54.99

Moduli in Modern Mapping Theory

$84.99

Mesophases, Polymers, and Particles

$129.00

Victorian Childrens Literature

$54.99

Control of Nonlinear Multibody Flexible Space Structures

$39.99

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

$109.99

Managing Development in a Global Context

$39.99

Heidelberger Jahrbcher

$69.99

Valuing the Environment: Methodological and Measurement Issues

$219.99

The Nature and Limits of Human Equality

$54.99

The Future Home is Wise, Not Smart

$39.99

Wireless Internet

$79.99

Cannabis Use Disorders

$109.00

Analytics Optimization with Columnstore Indexes in Microsoft SQL Server

$54.99

Using Paired Constraints to Solve The Innovation Problem

$109.99

Dauerhafte Gter

$59.99

Algebraic Topology and Transformation Groups

$44.99

UV-GO 2021 Kommentar

$59.99

Schule und psychische Gesundheit

$49.99

- / Deti-Oligofreny / Oligophrenia

$84.99

Molecular Neurobiology

$129.00

Beginning .NET Game Programming in C#

$44.99

Building and Using Binoscopes

$39.99

Elektrochemisches Praktikum

$44.99

Becoming Dynamic

$39.99

Computing Colour Image Processing

$39.99

Computer Science and its Applications

$219.99

Academic Inbreeding and Mobility in Higher Education

$54.99

Nuclear Power and Society

$199.99

Supervision fr Mediatorinnen und Mediatoren

$17.99

Linear Models and Generalizations

$129.99

Alcohol Advertising and Young People's Drinking

$54.99

Methodological Issues in Applied Social Psychology

$169.99

To Want to Learn

$19.99

Gamechanger AI

$37.99