SYNTEST: a method for high-level SYNthesis with self-TESTability | IEEE Conference Publication | IEEE Xplore