An approach to behavioral synthesis for loop-based BIST | IEEE Conference Publication | IEEE Xplore