A multiple-valued logic approach to the design and verification of hardware circuits

Amnon Rosenmann. A multiple-valued logic approach to the design and verification of hardware circuits. J. Applied Logic, 15:69-93, 2016. [doi]

Abstract

Abstract is missing.