Buch, Englisch, Band 10, 275 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 441 g
Selected Contributions from FDL'07
Buch, Englisch, Band 10, 275 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 441 g
Reihe: Lecture Notes in Electrical Engineering
ISBN: 978-90-481-7834-6
Verlag: Springer Netherlands
This book is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL'07), in September 2007. The book represents the state-of-the-art in research and practice, and it identifies new research directions. It highlights the role of specification and modelling languages, and presents practical experiences with specification and modelling languages
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Technische Informatik Hardware: Grundlagen und Allgemeines
- Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Mikroprozessoren
- Technische Wissenschaften Energietechnik | Elektrotechnik Elektrotechnik
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Mathematik | Informatik EDV | Informatik Betriebssysteme Windows Betriebssysteme
- Mathematik | Informatik EDV | Informatik Technische Informatik Systemverwaltung & Management
- Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Bauelemente, Schaltkreise
Weitere Infos & Material
C/C++ Based System Design.- How Different Are Esterel and SystemC.- Timed Asynchronous Circuits Modeling and Validation Using SystemC.- On Construction of Cycle Approximate Bus TLMs.- Combinatorial Dependencies in Transaction Level Models.- An Integrated SystemC Debugging Environment.- Measuring the Quality of a SystemC Testbench by Using Code Coverage Techniques.- SystemC-Based Simulation of the MICAS Architecture.- Analog, Mixed-Signal, and Heterogeneous System Design.- Heterogeneous Specification with HetSC and SystemC-AMS: Widening the Support of MoCs in SystemC.- An Extension to VHDL-AMS for AMS Systems with Partial Differential Equations.- Mixed-Level Modeling Using Configurable MOS Transistor Models.- UML-Based System Specification and Design.- Modeling AADL Data Communications with UML MARTE.- Software Real-Time Resource Modeling.- Model Transformations from a Data Parallel Formalism Towards Synchronous Languages.- UML and SystemC – A Comparison and Mapping Rules for Automatic Code Generation.- An Enhanced SystemC UML Profile for Modeling at Transaction-Level.- SC2 StateCharts to SystemC: Automatic Executable Models Generation.- Formalisms for Property-Driven Design.- Asynchronous On-Line Monitoring of Logical and Temporal Assertions.- Transactor-Based Formal Verification of Real-Time Embedded Systems.- A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set.
