Property-checking based LBIST for improved diagnosability | IEEE Conference Publication | IEEE Xplore