I. Introduction
Synthesis of digital circuits, with various parameter constraints, has been actively pursued over the past few decades. This has led to development of several synthesis tools that transform high-level hardware descriptions into logic circuits. These tools have been employed in development of circuits with large complexity e.g. application specific integrated circuits [1], general-purpose processor designs [2]. However, with the emergence of new computing paradigms (reversible computing [3], multi-valued logic (MVL) computing [4]) coupled with emerging devices (carbon-nanotube field effect transistor (CNFET) [5], Quantum-dot gate field effect transistor (qFET) [6]etc), there is a need for new synthesis algorithms and tools that take advantage of special characteristics of emerging devices and computing paradigms.