Thermal-Aware Testing of Digital VLSI Circuits and Systems

PSPICE and MATLAB for electronics

John Okyere Attia

Advanced model order reduction techniques in VLSI design

Lei He

A designer's guide to asynchronous VLSI

Peter A. Beerel

Principles of verifiable RTL design

Lionel Bening

Vlsi

Tomasz Wojcicki

Technology Computer Aided Design

Chandan Kumar Sarkar

Handshake Circuits

Kees van Berkel

Assertion-based design

Harry Foster