A high-level synthesis method for weakly testable data paths | IEEE Conference Publication | IEEE Xplore