Advanced BDD Optimization

Available
0
StarStarStarStarStar
0Reviews
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 p...
Read more
E-book
pdf
Price
129.50 £
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 p...
Read more
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9780387254548
  • Publication Date: 5 Dec 2005
  • Publisher: Springer US
  • Product language: English
  • Drm Setting: DRM