Variable-duty-cycle scheduling in double-edge-triggered flip-flop-based high-level synthesis | IEEE Conference Publication | IEEE Xplore