Interconnect-Centric Design for Advanced SoC and NoC

Digital Design and Implementation with Field Programmable Devices

Assertion-Based Design

Direct Transistor-level Layout for Digital Blocks

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

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

Numerik-Algorithmen Verfahren, Beispiele, Anwendungen

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

Computational Intelligence for Modelling and Prediction

Classification and Clustering for Knowledge Discovery

Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings

Taxonomies for the Development and Verification of Digital Systems

New Algorithms, Architectures and Applications for Reconfigurable Computing

An Introduction to Meshfree Methods and Their Programming

Analytical Methods in Anisotropic Elasticity with Symbolic Computational Tools

Robust Control Design with MATLAB®

Embedded Systems - qualitätsorientierte Entwicklung