VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers

Design of FPGA-Based Computing Systems with OpenCL

ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Design, Analysis and Test of Logic Circuits Under Uncertainty

Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings

Frequency-Domain Control Design for High-Performance Systems

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings

Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures

VLSI Physical Design: From Graph Partitioning to Timing Closure

Regular Nanofabrics in Emerging Technologies Design and Fabrication Methods for Nanoscale Digital Circuits