Using structural relations for checking combinationality of cyclic circuits. - Wan-Chen Weng; Yung-Chih Chen; Jui-Hung Chen; Ching-Yi Huang; Chun-Yao Wang (DATE, 2015)

Synthesis and verification of cyclic combinational circuits. - Jui-Hung Chen; Yung-Chih Chen; Wan-Chen Weng; Ching-Yi Huang; Chun-Yao Wang (SoCC, 2015)