An edition of System Specification and Design Languages
(2003)
System Specification and Design Languages
Best of FDL'02
by Eugenio Villar
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
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
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
External Links
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created July 7, 2019
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| February 25, 2022 | Edited by ImportBot | import existing book |
| July 7, 2019 | Created by MARC Bot | Imported from Internet Archive item record |