Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog

Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287)

VLSI High-Speed I/O Circuits

Nano Interconnects

Multiobjective Heuristic Search: An Introduction to intelligent Search Methods for Multicriteria Optimization (Computational Intelligence)

PSPICE and MATLAB for Electronics: An Integrated Approach (VLSI Circuits)

Digital VLSI Design and Simulation with Verilog

Embedded Systems: Architecture, Programming and Design, 2nd Edition

Circuit Design for CMOS VLSI

J.s D. Plummer's M. D. Deal's P. B. Griffin's Silicon VLSI Technology(Silicon VLSI Technology: Fundamentals, Practice, and Modeling [Paperback])(2000)