Hardware Design Verification: Simulation and Formal Method-Based Approaches

Prentice Hall Modern Semiconductor Design Series

James R. Armstrong and F. Gail Gray

• VHDL Design Representation and Synthesis

Mark Gordon Arnold

• Verilog Digital Computer Design: Algorithms into Hardware

Jayaram Bhasker

• A VHDL Primer, Third Edition

Mark D. Birnbaum

• Essential Electronic Design Automation (EDA)

Eric Bogatin

• Signal Integrity: Simplified

Douglas Brooks

• Signal Integrity Issues and Printed Circuit Board Design

Kanad Chakraborty and Pinaki Mazumder

• Fault-Tolerance and Reliability Techniques for High-Density Random-Access Memories

Ken Coffman

• Real World FPGA Design with Verilog

Alfred Crouch

• Design-for-Test for Digital IC’s and Embedded Core Systems

Daniel P. Foty

• MOSFET Modeling with SPICE: Principles and Practice

Tom Granberg

• Handbook of Digital Techniques ...