| #6682865 in Books | R diger Ebendt | 2005-08-23 | Original language:English | PDF # 1 | 9.21 x.56 x6.14l,1.14 | File type: PDF | 222 pages | Advanced BDD Optimization|
VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of Boolean Satis?ability (SAT), e.g. in logic synthesis, ver- cation or design-for-testability. In recent practical applications, BDDs are optimized with respect to new objective functions for design space exploration. The latest trends show a growing number of proposals to fuse the concepts of BDD and SAT. This book gives a modern pres...
You easily download any file type for your gadget.Advanced BDD Optimization | Rudiger Ebendt, Görschwin Fey, Rolf Drechsler. Just read it with an open mind because none of us really know.