SAT-Based Scalable Formal Verification Solutions (inbunden)
Fler böcker inom
Format
Inbunden (Hardback)
Språk
Engelska
Antal sidor
330
Utgivningsdatum
2007-05-01
Upplaga
2007 ed.
Förlag
Springer-Verlag New York Inc.
Medarbetare
Gupta, Aarti
Illustrationer
33 Tables, black and white; 118 Illustrations, black and white; XXX, 330 p. 118 illus.
Dimensioner
234 x 167 x 24 mm
Vikt
704 g
Antal komponenter
1
Komponenter
1 Hardback
ISBN
9780387691664

Du kanske gillar

SAT-Based Scalable Formal Verification Solutions (inbunden)

SAT-Based Scalable Formal Verification Solutions

av Malay Ganai, Aarti Gupta
Inbunden Engelska, 2007-05-01
2036
Köp
Spara som favorit
  • Skickas inom 7-10 vardagar.
  • Gratis frakt inom Sverige över 199 kr för privatpersoner.
Finns även som
Visa alla 2 format & utgåvor
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.
Visa hela texten

Passar bra ihop

  1. SAT-Based Scalable Formal Verification Solutions
  2. +
  3. Braiding Sweetgrass

De som köpt den här boken har ofta också köpt Braiding Sweetgrass av Robin Wall Kimmerer (häftad).

Köp båda 2 för 2160 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

Innehållsförteckning

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.