Designing with Xilinx® FPGAs Using Vivado

Fundamentals of Computer Architecture and Design

Handbook of Hardware/Software Codesign

Foundations of Hardware IP Protection

Embedded Software Verification and Debugging

Model-Implementation Fidelity in Cyber Physical System Design

Parallel Sparse Direct Solver for Integrated Circuit Simulation

Analog Integrated Circuit Design Automation Placement, Routing and Parasitic Extraction Techniques

Automatic Methods for the Refinement of System Models From the Specification to the Implementation

Digital Systems From Logic Gates to Processors

Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects

Hardware IP Security and Trust