Design automation tools for built-in self-test implementations | IEEE Conference Publication | IEEE Xplore