Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016

Self-powered SoC Platform for Analysis and Prediction of Cardiac Arrhythmias

Low-Power Design and Power-Aware Verification

Advanced Logic Synthesis

Symbolic Parallelization of Nested Loop Programs

Internet-of-Things (IoT) Systems Architectures, Algorithms, Methodologies

Smart Camera Design Algorithms, Architectures, and Art

Formal System Verification State-of the-Art and Future Trends

Contactless VLSI Measurement and Testing Techniques

Machine Learning for Model Order Reduction

Reliable and Energy Efficient Streaming Multiprocessor Systems

Brain-Machine Interface Closed-loop Bidirectional System Design