Behavioral synthesis for easy testability in data path allocation | IEEE Conference Publication | IEEE Xplore