A Multiple-Valued Logic Approach to the Design and Verification of Hardware Circuits

Amnon Rosenmann

We present a novel approach, which is based on multiple-valued logic (MVL), to the verification and analysis of digital hardware designs, which extends the common ternary or quater…