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