Synthesis of QDI FSMs from Synchronous Specifications. - Fu-Chiung Cheng; Yuan-Feng Chen; Shu-Chuan Huang; Ching-Yang Huang (ASYNC, 2014)