Re-implementation synthesis | IEEE Conference Publication | IEEE Xplore