CMOS Active Inductors and Transformers Principle, Implementation, and Applications

System Verilog for Verification A Guide to Learning the Testbench Language Features

Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy

Field Models in Electricity and Magnetism

Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers

Dynamics of Microelectromechanical Systems

SAT-Based Scalable Formal Verification Solutions

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

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

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

Inverse Problems in Electric Circuits and Electromagnetics

CMOS Current-Mode Circuits for Data Communications