Hardware Verification

J. Paul Roth. Hardware Verification. IEEE Transactions on Computers, 26(12):1292-1294, 1977.

Abstract

Abstract is missing.