. .
English
United States
Search tools
Sign in
Share this book on...
Book recommendations
Latest news
Tip from find-more-books.com
Advertising
FILTER
- 0 Results
Lowest price: 153.99 €, highest price: 183.83 €, average price: 170.26 €
SAT-Based Scalable Formal Verification Solutions - Malay Ganai#Aarti Gupta
book is out-of-stock
(*)
Malay Ganai#Aarti Gupta:

SAT-Based Scalable Formal Verification Solutions - new book

ISBN: 9780387691664

ID: ef902bfc75f97668e2306ee46d83cb87

SAT-Based Scalable Formal Verification Solutions 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. Bücher / Fremdsprachige Bücher / Englische Bücher 978-0-387-69166-4, Springer

New book Buch.de
Nr. 14272111 Shipping costs:Bücher und alle Bestellungen die ein Buch enthalten sind versandkostenfrei, sonstige Bestellungen innerhalb Deutschland EUR 3,-, ab EUR 20,- kostenlos, Bürobedarf EUR 4,50, kostenlos ab EUR 45,-, Sofort lieferbar, DE. (EUR 0.00)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
SAT-Based Scalable Formal Verification Solutions - Malay Ganai#Aarti Gupta
book is out-of-stock
(*)

Malay Ganai#Aarti Gupta:

SAT-Based Scalable Formal Verification Solutions - new book

ISBN: 9780387691664

ID: bf27fc51e856c013a7dbee420122dbf6

SAT-Based Scalable Formal Verification Solutions 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. Bücher / Fremdsprachige Bücher / Englische Bücher 978-0-387-69166-4, Springer

New book Buch.ch
Nr. 14272111 Shipping costs:Bei Bestellungen innerhalb der Schweiz berechnen wir Fr. 3.50 Portokosten, Bestellungen ab EUR Fr. 75.00 sind frei. Die voraussichtliche Versanddauer liegt bei 1 bis 2 Werktagen., Versandfertig innert 3 - 5 Werktagen, zzgl. Versandkosten, plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
SAT-Based Scalable Formal Verification Solutions - Malay Ganai#Aarti Gupta
book is out-of-stock
(*)
Malay Ganai#Aarti Gupta:
SAT-Based Scalable Formal Verification Solutions - new book

ISBN: 9780387691664

ID: 189438841

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. SAT-Based Scalable Formal Verification Solutions Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

New book Thalia.de
No. 14272111 Shipping costs:, Sofort lieferbar, DE (EUR 0.00)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
SAT-Based Scalable Formal Verification Solutions - Ganai, Malay; Gupta, Aarti
book is out-of-stock
(*)
Ganai, Malay; Gupta, Aarti:
SAT-Based Scalable Formal Verification Solutions - hardcover

2007, ISBN: 0387691669

ID: A4905764

Gebundene Ausgabe EDV / Theorie / Software-Entw. / Software Engineering, mit Schutzumschlag, [PU:Springer-Verlag GmbH]

New book Achtung-Buecher.de
REDIVIVUS Buchhandlung Hanausch Reinhard, 93053 Regensburg
Shipping costs:Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Sat-Based Scalable Formal Verification Solutions - Malay Ganai; Aarti Gupta
book is out-of-stock
(*)
Malay Ganai; Aarti Gupta:
Sat-Based Scalable Formal Verification Solutions - hardcover

2007, ISBN: 9780387691664

ID: 7762542

Hardcover, Buch, [PU: Springer-Verlag New York Inc.]

New book Lehmanns.de
Shipping costs:Versand in 10-15 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.

< to search results...
Details of the book
SAT-Based Scalable Formal Verification Solutions
Author:

Ganai, Malay; Gupta, Aarti

Title:

SAT-Based Scalable Formal Verification Solutions

ISBN:

9780387691664

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.

Details of the book - SAT-Based Scalable Formal Verification Solutions


EAN (ISBN-13): 9780387691664
ISBN (ISBN-10): 0387691669
Hardcover
Publishing year: 2007
Publisher: Springer-Verlag GmbH
330 Pages
Weight: 0,703 kg
Language: eng/Englisch

Book in our database since 11.11.2007 17:18:47
Book found last time on 08.02.2017 00:53:41
ISBN/EAN: 9780387691664

ISBN - alternate spelling:
0-387-69166-9, 978-0-387-69166-4

< to search results...
< to archive...
Related books