- 5 Ergebnisse
Kleinster Preis: € 108,08, größter Preis: € 125,93, Mittelwert: € 116,76
1
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) - Ganai, Malay
Bestellen
bei Amazon.de (Intern. Bücher)
€ 125,93
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Ganai, Malay:

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

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… Mehr…

Versandkosten:Auf Lager. Lieferung von Amazon. (EUR 0.00) Amazon.de
zuklappen (X)
2
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) - Ganai, Malay
Bestellen
bei Amazon.de (Intern. Bücher)
€ 108,08
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link

Ganai, Malay:

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

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… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
zuklappen (X)
3
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) - Ganai, Malay
Bestellen
bei Amazon.de (Intern. Bücher)
€ 111,46
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Ganai, Malay:
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) - Taschenbuch

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… Mehr…

Versandkosten: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
zuklappen (X)
4
SAT-Based Scalable Formal Verification Solutions - Gupta, Aarti; Ganai, Malay
Bestellen
bei Achtung-Buecher.de
€ 119,16
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Gupta, Aarti; Ganai, Malay:
SAT-Based Scalable Formal Verification Solutions - Taschenbuch

2010, ISBN: 1441943412

Gebundene Ausgabe

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

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
5
SAT-Based Scalable Formal Verification Solutions - Gupta, Aarti; Ganai, Malay
Bestellen
bei Achtung-Buecher.de
€ 119,16
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Gupta, Aarti; Ganai, Malay:
SAT-Based Scalable Formal Verification Solutions - Taschenbuch

2010, ISBN: 1441943412

Gebundene Ausgabe

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

Versandkosten:No shipping costs within Germany. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
Autor:
Titel:
ISBN-Nummer:

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.

Detailangaben zum Buch - SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)


EAN (ISBN-13): 9781441943415
ISBN (ISBN-10): 1441943412
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer
360 Seiten
Gewicht: 0,544 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2011-10-21T18:36:02+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-08-03T13:27:05+02:00 (Berlin)
ISBN/EAN: 9781441943415

ISBN - alternative Schreibweisen:
1-4419-4341-2, 978-1-4419-4341-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: mala gupta
Titel des Buches: solutions, sat

Daten vom Verlag:

Autor/in: Malay Ganai; Aarti Gupta
Titel: Integrated Circuits and Systems; SAT-Based Scalable Formal Verification Solutions
Verlag: Springer; Springer US
330 Seiten
Erscheinungsjahr: 2010-11-19
New York; NY; US
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
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
< zum Archiv...