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… Meer...
hive.co.uk No. 9780387691671. Verzendingskosten:Instock, Despatched same working day before 3pm, GB. (EUR 0.00) Details... |
ISBN: 9780387691671
SAT-Based Scalable Formal Verification Solutions: ab 106.99 € eBooks > Sachthemen & Ratgeber > Technik Springer-Verlag GmbH eBook als pdf, Springer-Verlag GmbH
eBook.de Verzendingskosten:in stock, , , DE. (EUR 0.00) Details... |
ISBN: 9780387691671
; EPUB; Scientific, Technical and Medical > Electronics & communications engineering, Grand Central Publishing
hive.co.uk No. 9780387691671. Verzendingskosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., exclusief verzendingskosten Details... |
2007, ISBN: 9780387691671
eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], [ED: 1], Springer-Verlag, 2007
lehmanns.de Verzendingskosten:Download sofort lieferbar. (EUR 0.00) Details... |
2007, ISBN: 9780387691671
eBooks, eBook Download (PDF), 2007, [PU: Springer US], Springer US, 2007
lehmanns.de Verzendingskosten:Download sofort lieferbar. (EUR 0.00) Details... |
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… Meer...
ISBN: 9780387691671
SAT-Based Scalable Formal Verification Solutions: ab 106.99 € eBooks > Sachthemen & Ratgeber > Technik Springer-Verlag GmbH eBook als pdf, Springer-Verlag GmbH
ISBN: 9780387691671
; EPUB; Scientific, Technical and Medical > Electronics & communications engineering, Grand Central Publishing
2007, ISBN: 9780387691671
eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], [ED: 1], Springer-Verlag, 2007
2007, ISBN: 9780387691671
eBooks, eBook Download (PDF), 2007, [PU: Springer US], Springer US, 2007
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - SAT-Based Scalable Formal Verification Solutions
EAN (ISBN-13): 9780387691671
ISBN (ISBN-10): 0387691677
Verschijningsjaar: 2007
Uitgever: Springer US
330 Bladzijden
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2009-07-11T13:02:08+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-08-03T13:27:01+02:00 (Amsterdam)
ISBN/EAN: 0387691677
ISBN - alternatieve schrijfwijzen:
0-387-69167-7, 978-0-387-69167-1
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: mala gupta
Titel van het boek: scala, sat
Gegevens van de uitgever
Auteur: Malay Ganai; Aarti Gupta
Titel: Series on Integrated Circuits and Systems; SAT-Based Scalable Formal Verification Solutions
Uitgeverij: Springer; Springer US
330 Bladzijden
Verschijningsjaar: 2007-05-26
New York; NY; US
Taal: Engels
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;
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9783642751059 Nuclear Non-Proliferation (Michael P. Fry; N. Patrick Keatinge; Joseph Rotblat)
- 9783642751059 Nuclear Non-Proliferation (Michael P. Fry; N. Patrick Keatinge; Joseph Rotblat)
- 9783642751073 Nuclear Non-Proliferation (Michael P. Fry; N. Patrick Keatinge; Joseph Rotblat)
- 9780387517568 SAT-Based Scalable Formal Verification Solutions (Ganai, Malay; Gupta, Aarti)
- 9780387691664 SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) (Ganai, Malay, Gupta, Aarti)
- 9783540517566 Nuclear Non-Proliferation: and the Non-Proliferation Treaty (Fry Michael, P., Patrick Keatinge N. und Joseph Rotblat)
< naar Archief...