Motivations
*Synchronous binary hardware synthesis
*Software synthesis from synchronous specifications
*Asynchronous hardware synthesis
*Multi-valued devices?
nCurrent-mode CMOS devices
nOptical logic circuits
We identified immediate application in these four areas.