BETSY: synthesizing circuits for a specified BIST environment | IEEE Conference Publication | IEEE Xplore