Synthesis using path-based scheduling: algorithms and exercises | IEEE Conference Publication | IEEE Xplore