- 5 Results
Lowest price: € 108.08, highest price: € 125.93, average price: € 116.76
1
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) - Ganai, Malay
Order
at Amazon.de (Intern. Bücher)
€ 125.93
Shipment: € 0.001
Order
Provider details
Sponsored link
Ganai, Malay:

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

2010, ISBN: 9781441943415

Mitwirkende: Gupta, Aarti, Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2007, 360 Seiten, Publiziert: 2010-11-19T00:00:01Z, Produktgruppe: Buch, 1.12 kg, CAD & C… More...

Shipping costs:Auf Lager. Lieferung von Amazon. (EUR 0.00) Amazon.de
close (x)
2
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) - Ganai, Malay
Order
at Amazon.de (Intern. Bücher)
€ 108.08
Shipment: € 3.001
Order
Provider details
Sponsored link

Ganai, Malay:

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

2010, ISBN: 9781441943415

Mitwirkende: Gupta, Aarti, Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2007, 360 Seiten, Publiziert: 2010-11-19T00:00:01Z, Produktgruppe: Buch, 1.12 kg, CAD & C… More...

Shipping costs:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
close (x)
3
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) - Ganai, Malay
Order
at Amazon.de (Intern. Bücher)
€ 111.46
Shipment: € 3.001
Order
Provider details
Sponsored link
Ganai, Malay:
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) - Paperback

2010

ISBN: 9781441943415

Mitwirkende: Gupta, Aarti, Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 2007, 360 Seiten, Publiziert: 2010-11-19T00:00:01Z, Produktgruppe: Buch, 1.12 kg, CAD & C… More...

Shipping costs:Gewöhnlich versandfertig in 3 bis 4 Tagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Books Around the World DE
close (x)
4
SAT-Based Scalable Formal Verification Solutions - Gupta, Aarti; Ganai, Malay
Order
at Achtung-Buecher.de
€ 119.16
Shipment: € 0.001
Order
Provider details
Sponsored link
Gupta, Aarti; Ganai, Malay:
SAT-Based Scalable Formal Verification Solutions - Paperback

2010, ISBN: 1441943412

Hardcover

Softcover reprint of hardcover 1st ed. 2007 Kartoniert / Broschiert Elektrotechnik, Computer-Aided Design (CAD), algorithms; complexity; computer-aideddesign(CAD); designprocess; Model;… More...

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
close (x)
5
SAT-Based Scalable Formal Verification Solutions - Gupta, Aarti; Ganai, Malay
Order
at Achtung-Buecher.de
€ 119.16
Shipment: € 0.001
Order
Provider details
Sponsored link
Gupta, Aarti; Ganai, Malay:
SAT-Based Scalable Formal Verification Solutions - Paperback

2010, ISBN: 1441943412

Hardcover

Softcover reprint of hardcover 1st ed. 2007 Kartoniert / Broschiert Elektrotechnik, Computer-Aided Design (CAD), algorithms; complexity; computer-aideddesign(CAD); designprocess; Model;… More...

Shipping costs:No shipping costs within Germany. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by find-more-books.com / find-more-books.com do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
Author:
Title:
ISBN:

9781441943415


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 (Integrated Circuits and Systems)


EAN (ISBN-13): 9781441943415
ISBN (ISBN-10): 1441943412
Hardcover
Paperback
Publishing year: 2010
Publisher: Springer
360 Pages
Weight: 0,544 kg
Language: eng/Englisch

Book in our database since 2011-10-21T12:36:02-04:00 (New York)
Detail page last modified on 2023-08-03T07:27:05-04:00 (New York)
ISBN/EAN: 9781441943415

ISBN - alternate spelling:
1-4419-4341-2, 978-1-4419-4341-5
Alternate spelling and related search-keywords:
Book author: mala gupta
Book title: solutions, sat

Information from Publisher

Author: Malay Ganai; Aarti Gupta
Title: Integrated Circuits and Systems; SAT-Based Scalable Formal Verification Solutions
Publisher: Springer; Springer US
330 Pages
Publishing year: 2010-11-19
New York; NY; US
Printed / Made in
Language: English
117,69 € (DE)
120,99 € (AT)
130,00 CHF (CH)
POD
XXX, 330 p. 118 illus.

BC; Hardcover, Softcover / Informatik, EDV/Anwendungs-Software; Computer-Aided Design (CAD); Verstehen; algorithms; complexity; computer-aided design (CAD); design process; model; modeling; Computer-Aided Engineering (CAD, CAE) and Design; Electronic Circuits and Systems; Electrical and Electronic Engineering; Schaltkreise und Komponenten (Bauteile); Elektrotechnik; BB; EA

Design Verification Challenges.- Design Verification Challenges.- Background.- Basic Infrastructure.- Efficient Boolean Representation.- Hybrid DPLL-Style SAT Solver.- Falsification.- SAT-Based Bounded Model Checking.- Distributed SAT-Based BMC.- Efficient Memory Modeling in BMC.- BMC for Multi-Clock Systems.- Proof Methods.- Proof by Induction.- Unbounded Model Checking.- Abstraction/Refinement.- Proof-Based Iterative Abstraction.- Verification Procedure.- SAT-Based Verification Framework.- Synthesis for Verification.
Describes SAT-based model checking approaches and gives engineering details on what makes model checking practical Techniques covered can be synergistically combined into a scalabe solution Focuses on engineering design and not mathematics Includes supplementary material: sn.pub/extras
< to archive...