A diagnosis-friendly LBIST architecture with property checking | IEEE Conference Publication | IEEE Xplore