Introduction to Logic Synthesis using Verilog HDL

Multiple-Valued Logic: Concepts and Representations

Spectral Techniques in VLSI CAD