D. Michael Miller

Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook

Spectral Techniques in VLSI CAD

Multiple-Valued Logic: Concepts and Representations