- 5 Results
Lowest price: € 34.76, highest price: € 162.49, average price: € 73.85
1
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) - Ganai, Malay, Gupta, Aarti
Order
at Amazon.de (Intern. Bücher)
€ 70.95
Shipment: € 3.001
OrderSponsored link
Ganai, Malay, Gupta, Aarti:

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

2007, ISBN: 9780387691664

Springer, Gebundene Ausgabe, Auflage: 2007, 360 Seiten, Publiziert: 2007-05-22T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 22587001, 1.55 kg, CAD & CAM, Grafik & Multimedia, Computer … More...

Gebraucht, wie neu. Shipping costs:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Ultimate Treasures DE
2
SAT-Based Scalable Formal Verification Solutions - Gupta, Aarti; Ganai, Malay
Order
at Achtung-Buecher.de
€ 162.49
Shipment: € 0.001
OrderSponsored link

Gupta, Aarti; Ganai, Malay:

SAT-Based Scalable Formal Verification Solutions - hardcover

2007, ISBN: 0387691669

2007 Gebundene Ausgabe EDV / Theorie / Software-Entw. / Software Engineering, Elektrotechnik, Computer-Aided Design (CAD), algorithms; complexity; computer-aideddesign(CAD); designproce… More...

Shipping costs:No shipping costs within Germany. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
3
SAT-Based Scalable Formal Verification Solutions (eBook Rental) - Malay Ganai; Aarti Gupta,
Order
at VitalSource.com
£ 29.85
(aprox. € 34.76)
OrderSponsored link
Malay Ganai; Aarti Gupta,:
SAT-Based Scalable Formal Verification Solutions (eBook Rental) - new book

ISBN: 9780387691664

by Malay Ganai; Aarti Gupta, PRINT ISBN: 9780387691664 E-TEXT ISBN: 9780387691671 Springer Nature eBook Other pricing structure might be available at vitalsource.com., Springer

new in stock United Kingdom. Shipping costs:plus shipping costs.
4
SAT-Based Scalable Formal Verification Solutions - Ganai, Malay und Aarti Gupta
Order
at booklooker.de
€ 60.11
Shipment: € 0.001
OrderSponsored link
Ganai, Malay und Aarti Gupta:
SAT-Based Scalable Formal Verification Solutions - used book

2007, ISBN: 9780387691664

[PU: Springer US], Neubindung 3487105/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2007, Banküberweisung, Kreditkarte, PayPal, Klarna-Sofortüberweisung, International sh… More...

Shipping costs:Free shipping. (EUR 0.00) Buchpark GmbH
5
SAT-Based Scalable Formal Verification Solutions - Ganai, Malay und Aarti Gupta
Order
at booklooker.de
€ 40.92
Shipment: € 0.001
OrderSponsored link
Ganai, Malay und Aarti Gupta:
SAT-Based Scalable Formal Verification Solutions - used book

2007, ISBN: 9780387691664

[PU: Springer US], Neubindung 3487105/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2007, Banküberweisung, PayPal, Klarna-Sofortüberweisung, Internationaler Versand

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH

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)

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): 9780387691664
ISBN (ISBN-10): 0387691669
Hardcover
Paperback
Publishing year: 2007
Publisher: Springer
330 Pages
Weight: 0,703 kg
Language: eng/Englisch

Book in our database since 2007-11-11T11:18:47-05:00 (New York)
Detail page last modified on 2023-08-03T07:26:57-04:00 (New York)
ISBN/EAN: 9780387691664

ISBN - alternate spelling:
0-387-69166-9, 978-0-387-69166-4
Alternate spelling and related search-keywords:
Book author: malay, mala gupta, jameson
Book title: sat based scalable formal verification solutions, integrated circuits


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: 2007-05-22
New York; NY; US
Language: English
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
Available
XXX, 330 p. 118 illus.

BB; 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; BC

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