Achieving understandable results in a formal design verification | IEEE Conference Publication | IEEE Xplore