High level synthesis methodology for on-line testability optimization | IEEE Conference Publication | IEEE Xplore