Optimization of Decision Diagrams

Many problems in VLSI-CAD and other fields of computer science can be formulated in terms of Boolean functions. The central issue in providing computer-aided solutions to such problems is to find a compact representation for a set of Boolean functions, for which basic Boolean operations and equivalence check can be efficiently performed. Decision diagram based representation of a set of Boolean functions can be useful in verification and synthesis.

Research topics:

  • Generalized If-Then-Else algebra for compact representation of Multi Output Functions
  • Optimization of multi-terminal decision diagrams by using spectral methods