ESL Models and their Application Electronic System Level Design and Verification in Practice

Introduction to Embedded System Design Using Field Programmable Gate Arrays

Model Predictive Control System Design and Implementation Using MATLAB®

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

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms

SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation

System-Level Design Techniques for Energy-Efficient Embedded Systems

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

Integrated Computer-Aided Design in Automotive Development Development Processes, Geometric Fundamentals, Methods of CAD, Knowledge-Based Engineering Data Management

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers

Reliability of Nanoscale Circuits and Systems Methodologies and Circuit Architectures