An efficient combinationality check technique for the synthesis of cyclic combinational circuits