An algorithmic approach to optimizing fault coverage for BIST logic synthesis | IEEE Conference Publication | IEEE Xplore