Applications of Specification and Design Languages for SoCs : Selected papers from FDL 2005

Applications of Specification and Design Languages for SoCs : Selected papers from FDL 2005

Author
A. Vachoux
Publication Year
2006
Publisher
Springer
Language
English
Document Type
Book
Faculty / Subject Heading
Engineering

This book provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design, namely: assertion-based design, mapping on network-on-chip architectures, use of C/C++/SystemC design methodologies, hardware/software integration, mixing heterogeneous models of computation, analog/mixed-signal/mixed-technology system design and verification, UML/XML-based synthesis of analog and mixed-signal systems, UML to VHDL mapping, UML-based performance modeling, model transformation and formal verification, real-time system models, and Model Driven Architecture.


Keywords: Engineering / Hardware / Hardwarebeschreibungssprache / Signal / SystemC / VHDL / Analog / Communication / / Design / Microelectromechanical system (MEMS) / Modeling / Network on chip (NoC) / Simulation / Software / System design / System on chip (SoC)