Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

SAT-Based Scalable Formal Verification Solutions

Name: SAT-Based Scalable Formal Verification Solutions
Brand: Springer-Verlag New York Inc.
SKU: 01422830
Price: 46433 HUF
Availability: InStock
Author: Malay Ganai
ISBN: 9781441943415

Malay Ganai

Aarti Gupta

Language

English

Book Paperback

Libristo code: 01422830

Publishers Springer-Verlag New York Inc., February 2010

Functional verification has become an important aspect of the chip design process. Significant resou... Full description

Libristo code: 01422830

310 b

46 433 Ft

Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Nu, silêncio escrevo-te! António de Jesus Sousa Pereira

Paperback

4 300 Ft

Annales de philosophie chrétienne Augustin Bonnetty

Paperback

13 996 Ft

Бабулька на горошине Дарья Донцова

Paperback

3 223 Ft

Schlesischen Weihnachtsspiele Friedrich Vogt

Paperback

21 173 Ft

Gesetz uber die Errichtung einer Stiftung Reichsprasident-Friedrich-Ebert-Gedenkstatte Ohne Autor

Paperback

2 216 Ft

bambino fiocco di neve. Ediz. ad alta leggibilità Viviana Mazza

Paperback

4 272 Ft

L'apport d'une approche systémique en médiation Philippe Nicod

Paperback

14 142 Ft

Sommeil d'hiver : une histoire d'hibernation THOMAS MAGALI

Hardback

6 502 Ft

Aloha, à la source du chamanisme hawaïen Jeanne Ruland

Hardback

9 951 Ft

Le livre de la joie Tutu

Paperback

4 465 Ft

Revoluce jednoho stébla slámy Masanobu Fukuoka

Audio CD

2 051 Ft

Cuadernos de entrenamiento en ajedrez ANTONIO GUDE FERNANDEZ

Audio CD

3 010 Ft

So tickt Ihr Chef Luke van de Rat

Paperback

5 349 Ft

Sur Les Grandes Routes de Russie, Entre l'Oural Et La Volga LABBE-P

Paperback

9 441 Ft

Supplement A La France Maconnique: Nouvelles Divulgations (Ed.1889) Leo Taxil

Paperback

6 984 Ft

Il terzo scimpanzé. Ascesa e caduta del primate homo sapiens Jared Diamond

Paperback

14 010 Ft

Code Du Travail Et de la Prevoyance Sociale. Des Groupements Professionnels Ricard-L

Paperback

4 749 Ft

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.