Gate-level simulation of digital circuits using multi-valued Boolean algebras.

Scott Woods, Giorgio Casinovi

Browse the full ICCAD paper archive.