A testability strategy for silicon compilers | IEEE Conference Publication | IEEE Xplore