Symbolic algebra and timing driven data-flow synthesis | IEEE Conference Publication | IEEE Xplore