Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This title offers a selection of papers presented in the second Forum on Design Languages. Topics address as their common denominator the different application domains of system-design languages with the presentation of the up-to-date research results and design experiences.
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: English
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
System Specification and Design Languages: Best of FDL'02
2003, Springer
electronic resource :
in English
0306487349 9780306487347
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Table of Contents
Preliminaries; Contents; Contributing Authors; Preface; Selected Topics in Mixed-Signal Simulation; Mixed-Signal Extensions for SystemC; Mixed-Domain Modeling in Modelica; VHDL-AMS and Verilog-AMS as Competitive Solutions; VHDL-AMS in MEMS Design Flow; A new approach to model generation for nonlinear mixed-signal circuits in the behavioral and functional domain; Multi-Level Analog/Mixed-Signal IP Specification for Platform-Based Design; A uml Profile for Real-Time System Modelling with Rate-Monotonic Analysis; Support for Embedded Systems IN UML 2.0
Embedded System Design Using UML and PlatformsA Design Methodology for the Development of a complex System-on-Chip using UML and Executable System Models; Using the SHE Method for UML-based Performance Modeling; SystemC code generation from UML models; Hardware dependent Software, the Bridge between Hardware and Software; C/C++ Based System Design Flow Using SpecC, VCC and SystemC; Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams; Automatic Generation of Scheduled SystemC Models of Embedded Systems From Extended Task Graphs
SystemC-Plus Complex Data Types for Telecom ApplicationsA Method for the Development of Combined Floating- and Fixed-Point SystemC Models; Object-Oriented High-Level Modeling of an InfiniBand to PCI-X Bridge; A SystemC Model for RTOS Kernel; An Abstract Modeling Approach Towards System-Level Design-Space Exploration; Modeling Techniques in Design-by-Refinement Methodologies; Design of Highly Parallel Architectures with Alpha and Handel; MTG* and Gray box; Specification and Refinement of Hardware Components in B; Ensuring semantic integrity in knowledge bases for embedded systems
Edition Notes
Description based upon print version of record.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?February 25, 2022 | Edited by ImportBot | import existing book |
July 7, 2019 | Created by MARC Bot | import new book |