- 5 Results
Lowest price: € 98.50, highest price: € 171.19, average price: € 129.91
1
SAT-Based Scalable Formal Verification Solutions - Malay Ganai
Order
at hive.co.uk
£ 84.58
(aprox. € 98.50)
Shipment: € 0.001
OrderSponsored link
Malay Ganai:

SAT-Based Scalable Formal Verification Solutions - new book

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

No. 9780387691671. Shipping costs:Instock, Despatched same working day before 3pm, GB. (EUR 0.00)
2
SAT-Based Scalable Formal Verification Solutions - Aarti Gupta/ Malay Ganai
Order
at eBook.de
€ 106.99
Shipment: € 0.001
OrderSponsored link

Aarti Gupta/ Malay Ganai:

SAT-Based Scalable Formal Verification Solutions - new book

ISBN: 9780387691671

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

Shipping costs:in stock, , , DE. (EUR 0.00)
3
SAT-Based Scalable Formal Verification Solutions - Greg Midland
Order
at hive.co.uk
£ 90.10
(aprox. € 101.67)
OrderSponsored link
Greg Midland:
SAT-Based Scalable Formal Verification Solutions - new book

ISBN: 9780387691671

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

No. 9780387691671. Shipping costs:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., plus shipping costs
4
SAT-Based Scalable Formal Verification Solutions - Malay Ganai; Aarti Gupta
Order
at lehmanns.de
€ 171.19
Shipment: € 0.001
OrderSponsored link
Malay Ganai; Aarti Gupta:
SAT-Based Scalable Formal Verification Solutions - First edition

2007, ISBN: 9780387691671

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

Shipping costs:Download sofort lieferbar. (EUR 0.00)
5
SAT-Based Scalable Formal Verification Solutions - Malay Ganai; Aarti Gupta
Order
at lehmanns.de
€ 171.19
Shipment: € 0.001
OrderSponsored link
Malay Ganai; Aarti Gupta:
SAT-Based Scalable Formal Verification Solutions - new book

2007, ISBN: 9780387691671

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

Shipping costs:Download sofort lieferbar. (EUR 0.00)

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

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


EAN (ISBN-13): 9780387691671
ISBN (ISBN-10): 0387691677
Publishing year: 2007
Publisher: Springer US
330 Pages
Language: eng/Englisch

Book in our database since 2009-07-11T07:02:08-04:00 (New York)
Detail page last modified on 2023-08-03T07:27:01-04:00 (New York)
ISBN/EAN: 9780387691671

ISBN - alternate spelling:
0-387-69167-7, 978-0-387-69167-1
Alternate spelling and related search-keywords:
Book author: mala gupta
Book title: scala, sat


Information from Publisher

Author: Malay Ganai; Aarti Gupta
Title: Series on Integrated Circuits and Systems; SAT-Based Scalable Formal Verification Solutions
Publisher: Springer; Springer US
330 Pages
Publishing year: 2007-05-26
New York; NY; US
Language: English
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;

< to archive...