CMOS Current-Mode Circuits for Data Communications

Dynamics of Microelectromechanical Systems

SAT-Based Scalable Formal Verification Solutions

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

Hardware Verification with SystemVerilog An Object-Oriented Framework

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

Full-Chip Nanometer Routing Techniques

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms

Inverse Problems in Electric Circuits and Electromagnetics

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

Design for Manufacturability and Yield for Nano-Scale CMOS

Routing Congestion in VLSI Circuits: Estimation and Optimization