Cover Image

Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005 /

Applications of Specification and Design Languages for SoCs includes a selection of the best contributions to the Forum on Specification and Design Languages held in 2005 (FDL'05). Since its inception in 1998, FDL has established itself as the premier European forum to exchange experiences and...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Vachoux, A. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2006.
Edition:1st ed. 2006.
Subjects:
Electronic circuits.
Electrical engineering.
Engineering design.
Electronics.
Microelectronics.
Computer hardware.
Circuits and Systems.
Electrical Engineering.
Engineering Design.
Electronics and Microelectronics, Instrumentation.
Computer Hardware.
Online Access:https://doi.org/10.1007/978-1-4020-4998-9
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • Specification, Design, and Verification Methods
  • PSL-Based Online Monitoring of Digital Systems
  • Refining Synchronous Communication onto Network-on-Chip Best-Effort Services
  • C/C++-Based System Design
  • Behaviour Separation: A High-Level Methodology Applicable in the SystemC Environment
  • Mixing Synchronous Reactive and Untimed MoCs in SystemC
  • Interface-Centric Abstraction Level for Rapid Hardware/Software Integration
  • Efficient and Customizable Integration of Temporal Properties into SystemC
  • UMoC++: A C++-Based Multi-MoC Modeling Environment
  • Analog, Mixed-Signal, and Heterogeneous System Design
  • Creating Virtual Prototypes of Complex MEMS Transducers Using Reduced-Order Modelling Methods and VHDL-AMS
  • Modeling Uncertainty in Nonlinear Analog Systems with Affine Arithmetic
  • SystemC-WMS: Mixed-Signal Simulation Based on Wave Exchanges
  • Automatic Generation of a Coverification Platform
  • UML/XML-Based Approach to Hierarchical AMS Synthesis
  • UML-Based System Specification and Design
  • Compiled and Synthesized UML
  • Property-Preservation Synthesis for Unified Control- and Data-Oriented Models
  • Traceability and Interoperability at Different Levels of Abstraction in Model-Driven Engineering
  • Power Simulation of Communication Protocols with StateC
  • Integrating Model-Checking with UML-Based SoC Development.

Similar Items