CMOS Current-Mode Circuits for Data Communications

Routing Congestion in VLSI Circuits: Estimation and Optimization

Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them

Hardware Verification with SystemVerilog An Object-Oriented Framework

Computer-Aided Architectural Design Futures (CAADFutures) 2007 Proceedings of the 12th International CAADFutures Conference

Dynamics of Microelectromechanical Systems

Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design

SAT-Based Scalable Formal Verification Solutions

Design for Manufacturability and Yield for Nano-Scale CMOS

Models for Computer Aided Tolerancing in Design and Manufacturing Selected Conference Papers from the 9th CIRP International Seminar on Computer-Aided Tolerancing, held at Arizona State University, Tempe, Arizona, USA, 10-12 April, 2005

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

Full-Chip Nanometer Routing Techniques