Overview

Design and specification languages are of utmost interest in the area of embedded systems and the Forum on Specification and Design Languages has been once again the main European event for the embedded systems and chip design community. Advances in Design and Specification Languages for Embedded Systems is the latest contribution to the Chip Design Languages series and it consists of selected papers presented at the Forum on Specifications and Design Languages (FDL'06), in September 2006. FDL, an ECSI conference, is the premier European forum to present research results, exchange experiences, and learn about new trends in the application of specification and design languages as well as of associated design and modelling methods and tools for integrated circuits, embedded systems, and heterogeneous systems. Modelling and specification concepts push the development of new methodologies for design and verification to system level, they thus provide the means for a model-driven design of complex information processing systems in a variety of application domains.

Full Product Details

Author:   Sorin Alexander Huss
Publisher:   Springer
Imprint:   Springer
Edition:   Softcover reprint of hardcover 1st ed. 2007
Dimensions:   Width: 15.50cm , Height: 1.90cm , Length: 23.50cm
Weight:   0.563kg
ISBN:  

9789048175499

ISBN 10:   9048175496
Pages:   358
Publication Date:   19 October 2010
Audience:   Professional and scholarly ,  Professional and scholarly ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Analog, Mixed-Signal, and Heterogeneous System Design.- Compact Modeling of Emerging Technologies with VHDL-AMS.- Baseband Modeling Using Multidimensional Networks in VHDL-AMS.- Verification-Oriented Behavioral Modeling of NonLinear Analog Parts of Mixed-Signal Circuits.- Improving Efficiency and Robustness of Analog Behavioral Models.- ModelLib: A Web-Based Platform for Collecting Behavioural Models and Supporting the Design of AMS Systems.- C/C++-Based System Design.- The Quiny SystemCTM Front End: Self-Synthesising Designs.- Mining Metadata from SystemC IP Library.- Nonintrusive High-level SystemC Debugging.- Transaction-Level Modeling in Communication Engine Design: A Case Study.- Object-Oriented Transaction-Level Modelling.- Formalisms for Property-Driven Design.- An Efficient Synthesis Method for Property-Based Design in Formal Verification: On Consistency and Completeness of Property-Sets.- Online Monitoring of Properties Built on Regular Expressions Sequences.- Observer-BasedVerification Using Introspection: A System-level Verification Implementation.- Formalizing TLM with Communicating State Machines.- Different Kinds of System Descriptions as Synchronous Programs.- UML-Based System Specification and Design.- A Model-driven Co-design Flow for Embedded Systems.- A Method for Mobile Terminal Platform Architecture Development.- UML2 Profile for Modeling Controlled Data Parallel Applications.- MCF: A Metamodeling-based Visual Component Composition Framework.- Reusing Systems Design Experience Through Modelling Patterns.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions