- 5 Ergebnisse
Kleinster Preis: € 98,50, größter Preis: € 171,19, Mittelwert: € 129,91
1
SAT-Based Scalable Formal Verification Solutions - Malay Ganai
Bestellen
bei hive.co.uk
£ 84,58
(ca. € 98,50)
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Malay Ganai:

SAT-Based Scalable Formal Verification Solutions - neues Buch

ISBN: 9780387691671

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

No. 9780387691671. Versandkosten:Instock, Despatched same working day before 3pm, GB. (EUR 0.00)
zuklappen (X)
2
SAT-Based Scalable Formal Verification Solutions - Aarti Gupta/ Malay Ganai
Bestellen
bei eBook.de
€ 106,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Aarti Gupta/ Malay Ganai:

SAT-Based Scalable Formal Verification Solutions - neues Buch

ISBN: 9780387691671

SAT-Based Scalable Formal Verification Solutions: ab 106.99 € eBooks > Sachthemen & Ratgeber > Technik Springer-Verlag GmbH eBook als pdf, Springer-Verlag GmbH

Versandkosten:in stock, , , DE. (EUR 0.00)
zuklappen (X)
3
SAT-Based Scalable Formal Verification Solutions - Greg Midland
Bestellen
bei hive.co.uk
£ 90,10
(ca. € 101,67)
Bestellen
Details und Versand
gesponserter Link
Greg Midland:
SAT-Based Scalable Formal Verification Solutions - neues Buch

ISBN: 9780387691671

; EPUB; Scientific, Technical and Medical > Electronics & communications engineering, Grand Central Publishing

No. 9780387691671. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
zuklappen (X)
4
SAT-Based Scalable Formal Verification Solutions - Malay Ganai; Aarti Gupta
Bestellen
bei lehmanns.de
€ 171,19
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Malay Ganai; Aarti Gupta:
SAT-Based Scalable Formal Verification Solutions - Erstausgabe

2007, ISBN: 9780387691671

eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], [ED: 1], Springer-Verlag, 2007

Versandkosten:Download sofort lieferbar. (EUR 0.00)
zuklappen (X)
5
SAT-Based Scalable Formal Verification Solutions - Malay Ganai; Aarti Gupta
Bestellen
bei lehmanns.de
€ 171,19
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Malay Ganai; Aarti Gupta:
SAT-Based Scalable Formal Verification Solutions - neues Buch

2007, ISBN: 9780387691671

eBooks, eBook Download (PDF), 2007, [PU: Springer US], Springer US, 2007

Versandkosten:Download sofort lieferbar. (EUR 0.00)
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
Autor:
Titel:
ISBN-Nummer:

9780387691671

Detailangaben zum Buch - SAT-Based Scalable Formal Verification Solutions


EAN (ISBN-13): 9780387691671
ISBN (ISBN-10): 0387691677
Erscheinungsjahr: 2007
Herausgeber: Springer US
330 Seiten
Sprache: eng/Englisch

Buch in der Datenbank seit 2009-07-11T13:02:08+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-08-03T13:27:01+02:00 (Vienna)
ISBN/EAN: 9780387691671

ISBN - alternative Schreibweisen:
0-387-69167-7, 978-0-387-69167-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: mala gupta
Titel des Buches: scala, sat

Daten vom Verlag:

Autor/in: Malay Ganai; Aarti Gupta
Titel: Series on Integrated Circuits and Systems; SAT-Based Scalable Formal Verification Solutions
Verlag: Springer; Springer US
330 Seiten
Erscheinungsjahr: 2007-05-26
New York; NY; US
Sprache: Englisch
106,99 € (DE)
110,00 € (AT)
130,00 CHF (CH)
Available
XXX, 330 p. 118 illus.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Anwendungs-Software; Computer-Aided Design (CAD); Verstehen; algorithms; complexity; computer-aided design (CAD); design process; model; modeling; C; Computer-Aided Engineering (CAD, CAE) and Design; Electronic Circuits and Systems; Electrical and Electronic Engineering; Computer Science; 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;
< zum Archiv...