De som köpt den här boken har ofta också köpt The Anxious Generation av Jonathan Haidt (inbunden).
Köp båda 2 för 2457 krFrom the reviews: "This monograph addresses the problem of formal verification for circuits using as a conceptual tool the Word-Level Decision Diagrams (WLDDs). The book offers a concise discussion of the field of WLDD-based formal verification of circuits. The book is written in a clear style and represents an easy-to-read introduction into the area of word-level decision diagrams." (Marius Zimand, Zentralblatt MATH, Vol. 1062 (13), 2005)
1 Introduction.- 2 Notations and Definitions.- 3 Decision Diagrams.- 4 Theoretical Aspects of WLDDs.- 5 Implementation of WLDDs.- 6 Minimization of DDs.- 7 Arithmetic Circuits.- 8 Verification of Hdls.- 9 Conclusions.- References.