Applications of Specification and Design Languages for SoCs
Springer (Verlag)
978-90-481-7249-8 (ISBN)
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.
All chapters in Applications of Specification and Design Languages for SoCs have been carefully revised and extended to offer up-to-date information. They also constitute excellent seeds for further researches and developments in the field of heterogeneous systems-on-chip design.
Specification, Design, and Verification Methods.- PSL-Based Online Monitoring of Digital Systems.- Refining Synchronous Communication onto Network-on-Chip Best-Effort Services.- C/C++-Based System Design.- Behaviour Separation: A High-Level Methodology Applicable in the SystemC Environment.- Mixing Synchronous Reactive and Untimed MoCs in SystemC.- Interface-Centric Abstraction Level for Rapid Hardware/Software Integration.- Efficient and Customizable Integration of Temporal Properties into SystemC.- UMoC++: A C++-Based Multi-MoC Modeling Environment.- Analog, Mixed-Signal, and Heterogeneous System Design.- Creating Virtual Prototypes of Complex MEMS Transducers Using Reduced-Order Modelling Methods and VHDL-AMS.- Modeling Uncertainty in Nonlinear Analog Systems with Affine Arithmetic.- SystemC-WMS: Mixed-Signal Simulation Based on Wave Exchanges.- Automatic Generation of a Coverification Platform.- UML/XML-Based Approach to Hierarchical AMS Synthesis.- UML-Based System Specification and Design.- Compiled and Synthesized UML.- Property-Preservation Synthesis for Unified Control- and Data-Oriented Models.- Traceability and Interoperability at Different Levels of Abstraction in Model-Driven Engineering.- Power Simulation of Communication Protocols with StateC.- Integrating Model-Checking with UML-Based SoC Development.
| Zusatzinfo | XXII, 312 p. |
|---|---|
| Verlagsort | Dordrecht |
| Sprache | englisch |
| Maße | 160 x 240 mm |
| Themenwelt | Informatik ► Weitere Themen ► Hardware |
| Technik ► Elektrotechnik / Energietechnik | |
| Technik ► Maschinenbau | |
| ISBN-10 | 90-481-7249-7 / 9048172497 |
| ISBN-13 | 978-90-481-7249-8 / 9789048172498 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
