A design-for-testability expert system for silicon compilers | IEEE Conference Publication | IEEE Xplore