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: 01382329
Price: 55005 HUF
Availability: InStock
Author: Malay Ganai
ISBN: 9780387691664

Malay Ganai

Aarti Gupta

Language

English

Book Hardback

Libristo code: 01382329

Publishers Springer-Verlag New York Inc., May 2007

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

Libristo code: 01382329

365 b

55 005 Ft

In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Negociación y contratación internacional. Certificados de profesionalidad. Marketing y compraventa internacional Ferrán Barona Llorca

Paperback

10 178 Ft

Hakon Matthieu Biasotto

Paperback

15 552 Ft

Ene mene Tintenfass geh zur Schule, lerne was! Miluše Jankásková

Hardback

2 801 Ft

Zvieratá okolo nás

Paperback

1 400 Ft

Mikropolitische Ansatze des Personalmanagements Philipp Kardinahl

Paperback

6 233 Ft

Mavka - Hüterin des Waldes Lesya Ukrainka

DVD

6 129 Ft

Uplatňování pohledávek v insolvenčním řízení - Právo prakticky Milan Horák

Paperback

6 727 Ft

Mémoire pour C. Jocquet de la Chapelle contre J. Hardouin Mansart, comte de Sagonne et M. Dugny Doulcet

Paperback

4 999 Ft

Тета-исцеление: вы и Создатель. Углубите свою связь с энергией творения Вианна Стайбл

Paperback

3 855 Ft

Museu de Cultures del Món Bru i Turull

Paperback

7 947 Ft

44 Batidos Proteicos Caseros Para Fisicoculturistas: Incremente El Desarrollo Muscular Sin Pastillas, Suplementos de Creatina O Esteroides Anabolicos Correa (Nutricionista Deportivo Certific

Paperback

7 619 Ft

Feuerbach Ed Heyck

Paperback

9 755 Ft

Grand manuel de psychologie positive - Fondements, théories et champs d'intervention Charles Martin-Krumm Book

Paperback

27 790 Ft

GUIDE SCIENCES TECHNOLOGIES INDUSTRIELLES NE Jean-Louis Fanchon

Hardback

14 768 Ft

UNA TERAPIA MUY ESPECIAL CARLY PHILLIPS

Paperback

3 204 Ft

Obras completas : Los nombres de Dios ; Jerarquía celeste ; Jerarquía eclesiástica ; Teología mística ; Cartas varias Pseudo Dionisio Areopagita

Paperback

9 708 Ft

Le Nouveau Roman ou l'ere du soupcon Magali Vienne

Paperback

4 937 Ft

Notice Historique Sur Le Couvent Des Cordeliers de Romans CHEVALIER-U

Paperback

5 359 Ft

Schatzhaus oder Khazne al-Firaun in der antiken Stadt Petra (Puzzle) Jürgen Ritterbach

Game

12 494 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.