Ebook: System Specification & Design Languages: Best of FDL’02
- Tags: Computer Hardware, Computing Methodologies, Computer-Aided Engineering (CAD CAE) and Design, Electronic and Computer Engineering, Special Purpose and Application-Based Systems
- Year: 2004
- Publisher: Springer US
- Edition: 1
- Language: English
- pdf
In this fourth book in the CHDL Series, a selection of the best papers presented in FDL'02 is published. System Specification and Design Languages contains outstanding research contributions in the four areas mentioned above. So, The Analog and Mixed-Signal system design contributions cover the new methodological approaches like AMS behavioral specification, mixed-signal modeling and simulation, AMS reuse and MEMs design using the new modeling languages such as VHDL-AMS, Verilog-AMS, Modelica and analog-mixed signal extensions to SystemC.
UML is the de-facto standard for SW development covering the early development stages of requirement analysis and system specification. The UML-based system specification and design contributions address latest results on hot-topic areas such as system profiling, performance analysis and UML application to complex, HW/SW embedded systems and SoC design.C/C++-for HW/SW systems design is entering standard industrial design flows. Selected papers cover system modeling, system verification and SW generation.
The papers from the Specification Formalisms for Proven design workshop present formal methods for system modeling and design, semantic integrity and formal languages such as ALPHA, HANDLE and B.
In this fourth book in the CHDL Series, a selection of the best papers presented in FDL'02 is published. System Specification and Design Languages contains outstanding research contributions in the four areas mentioned above. So, The Analog and Mixed-Signal system design contributions cover the new methodological approaches like AMS behavioral specification, mixed-signal modeling and simulation, AMS reuse and MEMs design using the new modeling languages such as VHDL-AMS, Verilog-AMS, Modelica and analog-mixed signal extensions to SystemC.
UML is the de-facto standard for SW development covering the early development stages of requirement analysis and system specification. The UML-based system specification and design contributions address latest results on hot-topic areas such as system profiling, performance analysis and UML application to complex, HW/SW embedded systems and SoC design.C/C++-for HW/SW systems design is entering standard industrial design flows. Selected papers cover system modeling, system verification and SW generation.
The papers from the Specification Formalisms for Proven design workshop present formal methods for system modeling and design, semantic integrity and formal languages such as ALPHA, HANDLE and B.
In this fourth book in the CHDL Series, a selection of the best papers presented in FDL'02 is published. System Specification and Design Languages contains outstanding research contributions in the four areas mentioned above. So, The Analog and Mixed-Signal system design contributions cover the new methodological approaches like AMS behavioral specification, mixed-signal modeling and simulation, AMS reuse and MEMs design using the new modeling languages such as VHDL-AMS, Verilog-AMS, Modelica and analog-mixed signal extensions to SystemC.
UML is the de-facto standard for SW development covering the early development stages of requirement analysis and system specification. The UML-based system specification and design contributions address latest results on hot-topic areas such as system profiling, performance analysis and UML application to complex, HW/SW embedded systems and SoC design.C/C++-for HW/SW systems design is entering standard industrial design flows. Selected papers cover system modeling, system verification and SW generation.
The papers from the Specification Formalisms for Proven design workshop present formal methods for system modeling and design, semantic integrity and formal languages such as ALPHA, HANDLE and B.
Content:
Front Matter....Pages i-2
Selected Topics in Mixed-Signal Simulation....Pages 5-17
Mixed-Signal Extensions for SystemC....Pages 19-28
Mixed-Domain Modeling in Modelica....Pages 29-40
VHDL-AMS and Verilog-AMS as Competitive Solutions....Pages 41-50
VHDL-AMS in MEMS Design Flow....Pages 51-60
A New Approach to Model Generation for Nonlinear Mixed-Signal Circuits in the Behavioral and Functional Domain....Pages 61-73
Multi-Level Analog/Mixed-Signal IP Specification for Platform-Based Design....Pages 75-84
A UML Profile for Real-Time System Modelling with Rate Monotonic Analysis....Pages 87-106
Support for Embedded Systems in UML 2.0....Pages 107-118
Embedded System Design using UML and Platforms....Pages 119-128
A Design Methodology for the Development of a Complex System-On-Chip Using UML and Executable System Models....Pages 129-141
Using the SHE Method for UML-Based Performance Modeling....Pages 143-160
SystemC Code Generation from UML Models....Pages 161-171
Hardware Dependent Software, the Bridge Between Hardware and Software....Pages 173-182
C/C++ Based System Design Flow using SpecC, VCC and SystemC....Pages 185-194
Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams....Pages 195-205
Automatic Generation of Scheduled SystemC Models of Embedded Systems from Extended Task Graphs....Pages 207-217
SystemC-Plus Complex Data Types for Telecom Applications....Pages 219-229
A Method for the Development of Combined Floating- and Fixed-Point SystemC Models....Pages 231-242
Object-Oriented High-Level Modeling of an Infiniband to PCI-X Bridge....Pages 243-253
A SystemC Model for RTOS Kernel....Pages 255-264
An Abstract Modeling Approach Towards System-Level Design-Space Exploration....Pages 267-282
Modeling Techniques in Design-By-Refinement Methodologies....Pages 283-292
Design of Highly Parallel Architectures with Alpha and Handel....Pages 293-302
MTG* and Gray Box....Pages 303-314
Specification and Refinement of Hardware Components in B....Pages 315-325
Ensuring Semantic Integrity in Knowledge Bases for Embedded Systems....Pages 327-340
In this fourth book in the CHDL Series, a selection of the best papers presented in FDL'02 is published. System Specification and Design Languages contains outstanding research contributions in the four areas mentioned above. So, The Analog and Mixed-Signal system design contributions cover the new methodological approaches like AMS behavioral specification, mixed-signal modeling and simulation, AMS reuse and MEMs design using the new modeling languages such as VHDL-AMS, Verilog-AMS, Modelica and analog-mixed signal extensions to SystemC.
UML is the de-facto standard for SW development covering the early development stages of requirement analysis and system specification. The UML-based system specification and design contributions address latest results on hot-topic areas such as system profiling, performance analysis and UML application to complex, HW/SW embedded systems and SoC design.C/C++-for HW/SW systems design is entering standard industrial design flows. Selected papers cover system modeling, system verification and SW generation.
The papers from the Specification Formalisms for Proven design workshop present formal methods for system modeling and design, semantic integrity and formal languages such as ALPHA, HANDLE and B.
Content:
Front Matter....Pages i-2
Selected Topics in Mixed-Signal Simulation....Pages 5-17
Mixed-Signal Extensions for SystemC....Pages 19-28
Mixed-Domain Modeling in Modelica....Pages 29-40
VHDL-AMS and Verilog-AMS as Competitive Solutions....Pages 41-50
VHDL-AMS in MEMS Design Flow....Pages 51-60
A New Approach to Model Generation for Nonlinear Mixed-Signal Circuits in the Behavioral and Functional Domain....Pages 61-73
Multi-Level Analog/Mixed-Signal IP Specification for Platform-Based Design....Pages 75-84
A UML Profile for Real-Time System Modelling with Rate Monotonic Analysis....Pages 87-106
Support for Embedded Systems in UML 2.0....Pages 107-118
Embedded System Design using UML and Platforms....Pages 119-128
A Design Methodology for the Development of a Complex System-On-Chip Using UML and Executable System Models....Pages 129-141
Using the SHE Method for UML-Based Performance Modeling....Pages 143-160
SystemC Code Generation from UML Models....Pages 161-171
Hardware Dependent Software, the Bridge Between Hardware and Software....Pages 173-182
C/C++ Based System Design Flow using SpecC, VCC and SystemC....Pages 185-194
Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams....Pages 195-205
Automatic Generation of Scheduled SystemC Models of Embedded Systems from Extended Task Graphs....Pages 207-217
SystemC-Plus Complex Data Types for Telecom Applications....Pages 219-229
A Method for the Development of Combined Floating- and Fixed-Point SystemC Models....Pages 231-242
Object-Oriented High-Level Modeling of an Infiniband to PCI-X Bridge....Pages 243-253
A SystemC Model for RTOS Kernel....Pages 255-264
An Abstract Modeling Approach Towards System-Level Design-Space Exploration....Pages 267-282
Modeling Techniques in Design-By-Refinement Methodologies....Pages 283-292
Design of Highly Parallel Architectures with Alpha and Handel....Pages 293-302
MTG* and Gray Box....Pages 303-314
Specification and Refinement of Hardware Components in B....Pages 315-325
Ensuring Semantic Integrity in Knowledge Bases for Embedded Systems....Pages 327-340
....