Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach

Neuro-inspired Computing Using Resistive Synaptic Devices

Electromigration Inside Logic Cells Modeling, Analyzing and Mitigating Signal Electromigration in NanoCMOS

Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System

3D Stacked Chips From Emerging Processes to Heterogeneous Systems

Fundamentals of IP and SoC Security Design, Verification, and Debug

Advanced Logic Synthesis

5G and E-Band Communication Circuits in Deep-Scaled CMOS

Designing with Xilinx® FPGAs Using Vivado

Spintronics-based Computing

Heterogeneous Reconfigurable Processors for Real-Time Baseband Processing From Algorithm to Architecture

Energy-Efficient Smart Temperature Sensors in CMOS Technology