Synthesizing testability features into a design with the Synopsys Test Compiler | IEEE Conference Publication | IEEE Xplore