Modeling Digital Switching Circuits with Linear Algebra

Spectral Techniques in VLSI CAD

Introduction to Logic Synthesis using Verilog HDL