Compact MOSFET models for VLSI design
Bhattacharyya, A. B. (Amalendu Bhushan)
Singapore ; Hoboken, NJ : John Wiley & Sons (Asia) ; [Piscataway, NJ] : IEEE Press, ©2009.

Digital VLSI design and simulation with Verilog
Tripathi, Suman Lata, author.
Hoboken, NJ : John Wiley & Sons, Inc., 2022.

Formal verification : an essential toolkit for modern VLSI design
Seligman, Erik, author.
Waltham, MA : Elsevier Science, [2015]

Formal verification : an essential toolkit for modern VLSI design
Seligman, Erik, author.
Cambridge, MA : Morgan Kaufmann, [2023]

Modern VLSI design : system-on-chip design
Wolf, Wayne Hendrix.
Upper Saddle River, N.J. : Prentice Hall PTR, ©2002.

Skew-tolerant circuit design
Harris, David (David Lewis)
San Francisco : Morgan Kaufmann Publishers, ©2001.

Top-down digital VLSI design : from architectures to gate-level circuits and FPGAs
Kaeslin, Hubert, author.
Waltham, MA : Morgan Kaufmann, [2015]

VLSI test principles and architectures : design for testability

Amsterdam ; Boston : Elsevier Morgan Kaufmann Publishers, [2006]