E-Book, Englisch, 250 Seiten, eBook
Drechsler Advanced Formal Verification
Erscheinungsjahr 2007
ISBN: 978-1-4020-2530-3
Verlag: Springer US
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Englisch, 250 Seiten, eBook
ISBN: 978-1-4020-2530-3
Verlag: Springer US
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
What SAT-solvers Can and Cannot Do.- Advancements in Mixed BDD and SAT Techniques.- Equivalence Checking of Arithmetic Circuits.- Application of Property Checking and Underlying Techniques.- Assertion-Based Verification.- Formal Verification for Nonlinear Analog Systems: Approaches to Model and Equivalence Checking.