System Specification and Design Languages
Subtitle: Best of FDL'02
Contributors: Mermet, J.
Publisher: Springer
Published: 2003
Place of publication: Dordrecht
Language: eng
Format: [electronic resource] :
Number of pages: 351
ISBN-13: 9780306487347
Subjects: Computer hardware description languages - Congresses
Description: 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.
Notes: Description based upon print version of record.
Table of contents: title: 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; title: 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; title: 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