Title: Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology / Edition 2, Author: Luciano Lavagno
Title: Simulation in the Design of Digital Electronic Systems, Author: John B. Gosling
Title: Logic Synthesis and Verification Algorithms / Edition 1, Author: Gary D. Hachtel
Title: Electronic Design Automation for IC System Design, Verification, and Testing / Edition 2, Author: Luciano Lavagno
Title: SPICE / Edition 2, Author: Gordon Roberts
Title: Theoretical Foundations of VLSI Design, Author: K. McEvoy