Introduction to Logic Circuits & Logic Design with VHDL

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

Design of FPGA-Based Computing Systems with OpenCL

Design, Analysis and Test of Logic Circuits Under Uncertainty

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

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

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 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers

Foundations of Security Analysis and Design VI FOSAD Tutorial Lectures

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

VLSI Physical Design: From Graph Partitioning to Timing Closure