High level synthesis with testability constraints | IEEE Conference Publication | IEEE Xplore