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