Accurate resource estimation algorithms for behavioral synthesis | IEEE Conference Publication | IEEE Xplore