SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) - Image 1

£80.64

Springer SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)

Name: SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
Brand: Springer
Price: 80.64 GBP
Availability: InStock

Computer Science

This is the most expensive it has ever been. Walk away.

£81 today · previous high £81 · all-time low £80

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 51 days · 51 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 51 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £81 (48 days, 94.1%)

Price range: £80 - £81

Price levels: 2 different prices over 51 days

Description

This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution. From the Back Cover 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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 1441943412
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 19 November 2010
Listed Since: 06 July 2010

Barcode

No barcode data available

Springer SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

The 2027-2032 World Outlook for Complex Programmable Logic Devices (CPLDs) and Field Programmable Gate Arrays (FPGAs)

The 2013-2018 Outlook for Satellite Radio Subscriptions in India

The 2013-2018 Outlook for Coin-Operated Mechanisms and Time Switches for Vending Machines in India

The 2023-2028 Outlook for PV Backsheet (Solar) for US Zip Codes

The World Market for Anvils, Portable Forges, and Hand- or Pedal-Operated Grinding Wheels with Frameworks: A 2026 Global Trade Perspective

The 2021-2026 World Outlook for Metalworking Carbide Extrusion and Wiredrawing and Straightening Dies

The 2023-2028 Outlook for Cloud Services in China

The 2013-2018 Outlook for Satellite Radio Subscriptions in Africa

The 2027-2032 World Outlook for Programmable Logic Devices

The 2023-2028 Outlook for Automotive Chasis Systems in China

The 2023-2028 Outlook for Automotive Chasis Systems in Japan

The World Market for Anvils, Portable Forges, and Hand- or Pedal-Operated Grinding Wheels with Frameworks: A 2027 Global Trade Perspective

The 2026-2031 World Outlook for Automotive Torque Vectoring Systems

The 2013-2018 Outlook for Business Social Software in Asia & the Middle East

The 2016 World Forecasts of Anvils, Portable Forges, and Hand- or Pedal-Operated Grinding Wheels with Frameworks Export Supplies

The 2013-2018 Outlook for Airport Security Equipment in Europe

The 2016-2021 Outlook for Lithographic Book Jacket Printing in Africa, Europe & the Middle East

The 2023-2028 Outlook for Supercapacitors for US Zip Codes

The 2027-2032 World Outlook for Enterprise Storage System Semiconductors

The 2027-2032 World Outlook for Microservices Architecture

The 2026-2031 World Outlook for MEMS Foundry Outsourcing

The 2011-2016 Outlook for Satellite Radio Subscriptions in Asia

Passenger Information System: Design Manual for the Swiss Federal Railways: Design Manual for the Swiss Federal Railways by Josef Müller-Brockmann

The 2027-2032 World Outlook for MEMS Foundry Outsourcing