Broadband Fixed Wireless Access A System Perspective

Abstraction Refinement for Large Scale Model Checking

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™

Analog Circuit Design RF Circuits: Wide band, Front-Ends, DAC's, Design Methodology and Verification for RF and Mixed-Signal Systems, Low Power and Low Voltage

Low-Power Low-Voltage Sigma-Delta Modulators in Nanometer CMOS

TRANSISTOR LEVEL MODELING FOR ANALOG/RF IC DESIGN

Applied Optimization Formulation and Algorithms for Engineering Systems

Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity

Verification Methodology Manual for SystemVerilog

Design of Very High-Frequency Multirate Switched-Capacitor Circuits Extending the Boundaries of CMOS Analog Front-End Filtering

Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility

Systemverilog for Verification A Guide to Learning the Testbench Language Features