Jui-Hung Chen, Yung-Chih Chen, Wan-Chen Weng, Ching-Yi Huang, Chun-Yao Wang. Synthesis and verification of cyclic combinational circuits. In 28th IEEE International System-on-Chip Conference, SOCC 2015, Beijing, China, September 8-11, 2015. pages 257-262, IEEE, 2015. [doi]
Abstract is missing.