Solvability of simultaneous control step and timing skew assignments in high level synthesis | IEEE Conference Publication | IEEE Xplore