Introduction to VLSI Design Flow

Harnessing VLSI System Design with EDA Tools

VLSI Test Principles and Architectures: Design for Testability

Formal Verification: An Essential Toolkit for Modern VLSI Design

TCL Scripting for Design Automation: Foundations of VLSI and System Design Programming