Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

VLSI-SoC: System-on-Chip in the Nanoscale Era - Design, Verification and Reliability 24th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016, Revised Selected Papers

VLSI-SoC: Design for Reliability, Security, and Low Power 23rd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2015, Daejeon, Korea, October 5-7, 2015, Revised Selected Papers

Projektierung von Automatisierungsanlagen Eine effektive und anschauliche Einführung

SystemVerilog for Verification A Guide to Learning the Testbench Language Features

Cartesian Genetic Programming

SystemC: From the Ground Up

Fault Location on Power Networks

Clocking in Modern VLSI Systems

Model Predictive Control System Design and Implementation Using MATLAB®

Power Distribution Networks with On-Chip Decoupling Capacitors

System Verilog for Verification A Guide to Learning the Testbench Language Features