Folded circuit synthesis: Logic simplification using dual edge-triggered flip-flops | IEEE Conference Publication | IEEE Xplore