An efficient approach to pseudo-exhaustive test generation for BIST design | IEEE Conference Publication | IEEE Xplore