System Specification and Design Languages Selected Contributions from FDL 2010 /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Kaźmierski, Tom J. (Editor), Morawiec, Adam (Editor)
• Format: Electronic eBook
• Language: English
• Published: New York, NY : Springer New York, 2012.
• Edition: 1.
• Series: Lecture Notes in Electrical Engineering, 106
• Subjects: Engineering.; Microprocessors.; Electronics.; Microelectronics.; Electronic circuits.; Circuits and Systems.; Electronics and Microelectronics, Instrumentation.; Processor Architectures.

This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010.  FDL is a well established international forum devoted to dissemination of research results,...

Table of Contents:

• Formal Hardware/Software Co-verification of Application Specific Instruction Set Processors
• Evaluating Debugging Algorithms from a Qualitative Perspective
• Mapping of Concurrent Object-oriented Models to Extend Real-time Task Networks
• SystemC-A Modelling of Mixed-technology Systems with Distributed Behaviour
• A Framework for Interactive Refinement of Mixed HW/SW/Analog Systems
• Bottom-up Verification for CMOS Photonic Linear Heterogeneous System
• Towards Abstract Analysis Techniques for Range Based System Simulations
• Modeling Time-triggered Architecture Based Real-time Systems Using SystemC
• Towards the Development of a Set of Transaction Level Models - A Feature-oriented Approach
• Rapid Prototyping of Complex HW/SW Systems Using a Timing and Power Aware ESL Framework
• Towards Accurate Source-level Annotation of Low-level Properties Obtained from Optimized Binary Code
• Architecture Specifications in CλaSH
• SyReC: A Programming Language for Synthesis of Reversible Circuits
• Logical Time @ Work: Capturing Data Dependencies and Platform Constraints
• Formal Support for Untimed MARTE-SystemC Interoperability.