Logic Locking A Practical Approach to Secure Hardware

Efficient Execution of Irregular Dataflow Graphs Hardware/Software Co-optimization for Probabilistic AI and Sparse Linear Algebra

Advanced Digital System Design using SoC FPGAs An Integrated Hardware/Software Approach

Frontiers of Quality Electronic Design (QED) AI, IoT and Hardware Security

Real-Time Simulation and Hardware-in-the-Loop Testing Using Typhoon HIL

From Algorithms to Hardware Architectures Using Digital Radios as a Design Example

Deep Learning for Computational Problems in Hardware Security Modeling Attacks on Strong Physically Unclonable Function Circuits

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

Formal Verification of Floating-Point Hardware Design A Mathematical Approach

8051 Microcontrollers Fundamental Concepts, Hardware, Software and Applications in Electronics

Large-Scale Annotation of Biomedical Data and Expert Label Synthesis and Hardware Aware Learning for Medical Imaging and Computer Assisted Intervention International Workshops, LABELS 2019, HAL-MICCAI 2019, and CuRIOUS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13 and 17, 2019, Proceedings

Trusted Digital Circuits Hardware Trojan Vulnerabilities, Prevention and Detection