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… Altro …
hive.co.uk No. 9780387691671. Costi di spedizione: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 Costi di spedizione: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. Costi di spedizione:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
2007, ISBN: 9780387691671
eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], [ED: 1], Springer-Verlag, 2007
lehmanns.de Costi di spedizione:Download sofort lieferbar. (EUR 0.00) Details... |
2007, ISBN: 9780387691671
eBooks, eBook Download (PDF), 2007, [PU: Springer US], Springer US, 2007
lehmanns.de Costi di spedizione: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… Altro …
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
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - SAT-Based Scalable Formal Verification Solutions
EAN (ISBN-13): 9780387691671
ISBN (ISBN-10): 0387691677
Anno di pubblicazione: 2007
Editore: Springer US
330 Pagine
Lingua: eng/Englisch
Libro nella banca dati dal 2009-07-11T13:02:08+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2023-08-03T13:27:01+02:00 (Rome)
ISBN/EAN: 0387691677
ISBN - Stili di scrittura alternativi:
0-387-69167-7, 978-0-387-69167-1
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : mala gupta
Titolo del libro: scala, sat
Dati dell'editore
Autore: Malay Ganai; Aarti Gupta
Titolo: Series on Integrated Circuits and Systems; SAT-Based Scalable Formal Verification Solutions
Editore: Springer; Springer US
330 Pagine
Anno di pubblicazione: 2007-05-26
New York; NY; US
Lingua: Inglese
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;
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
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)
< Per archiviare...