A three-value computer design verification system | IBM Journals & Magazine | IEEE Xplore