Buch, Englisch, 312 Seiten, Previously published in hardcover, Format (B × H): 160 mm x 240 mm, Gewicht: 538 g
Selected papers from FDL 2005
Buch, Englisch, 312 Seiten, Previously published in hardcover, Format (B × H): 160 mm x 240 mm, Gewicht: 538 g
ISBN: 978-90-481-7249-8
Verlag: Springer Netherlands
This book includes a selection of the best contributions to the Forum on Specification and Design Languages held in 2005 (FDL'05). It provides detailed insights into recent works dealing with a large spectrum of issues in system-on-chip design. All the chapters have been carefully revised and extended to offer up-to-date information. They also provide seeds for further researches and developments in the field of heterogeneous systems-on-chip design.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Mikroprozessoren
- Mathematik | Informatik EDV | Informatik Technische Informatik Hardware: Grundlagen und Allgemeines
- Technische Wissenschaften Maschinenbau | Werkstoffkunde Maschinenbau
- Geisteswissenschaften Design Produktdesign, Industriedesign
- Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Bauelemente, Schaltkreise
- Technische Wissenschaften Technik Allgemein Konstruktionslehre und -technik
Weitere Infos & Material
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.
