Rudiger Ebendt – författare

Visar alla böcker från författaren Rudiger Ebendt. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Advanced BDD Optimization

   Av Rudiger Ebendt, Görschwin Fey m. fl.

   Inbunden, 2005

   1641 kr

   Lägg i varukorg

   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 …

2. 

   Advanced BDD Optimization

   Av Rudiger Ebendt, Görschwin Fey m. fl.

   Häftad, 2010

   1641 kr

   Lägg i varukorg

   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 …