Beschreibung
This book 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. The book represents the state-of-the-art in research and practice, and it identifies new research directions. It highlights the role of specification and modelling languages, and presents practical experiences with specification and modelling languages.
Inhaltsverzeichnis
InhaltsangabePreface: S.A. Huss. Part I. Analog Mixed-Signal, Introduction: C.Grimm. 1.Compact Modeling of Emerging Technologies with VHDL-AMS: F. Krummenacher et al. 2.Baseband Modeling Using Multidimensional Networks in VHDL-AMS: J.Haase. 3.Verification-Oriented Behavioral Modeling of Non-Linear Analog Parts of Mixed-Signal Circuits: E. Kock et al. 4.Improving Efficiency and Robustness of Analog Behavioral Models: E.Barke et al. 5.ModelLib: A Web-Based Platform for Collecting Behavioural Models and Supporting the Design of AMS Systems: T.Mähne and A.Vachoux. Part II. C / C++ Based System Design. Introduction: F.Oppenheimer. 6.The Quiny SystemC Front End: Self-Synthesising Designs: T.Schubert and W.Nebel. 7.Mining Metadata from SystemC IP Library: D.A.Mathaikutty and S.Shukla. 8.Non-Intrusive High-level SystemC Debugging: T.Berndt et al. 9.Transaction Level Modeling in Communication Engine Design: T.Mäkeläinen et al. 10.Object-Oriented Transaction Level Modelling: M.Radetzki. Part III. Property Driven Design, Introduction: D.Borrione. 11.A Efficient Synthesis Method for Property-Based Design in Formal Verification: H.Eveking et al. 12.On-line monitoring of properties built on regular expressions sequences: K.Morin-Allory and D.Borrione. 13.Observer-Based Verification Using Introspection: E. M. Aboulhamid et al. 14.Formalizing TLM with Communicating State Machines: B. Niemann et al. 15.Different Kinds of System Descriptions as Synchronous Programs: J.Brandt and K.Schneider. Part IV. UML-Based System Specification and Design, Introduction: P.van der Putten. 16.A Model-driven co-design flow for Embedded Systems: S.Bocchio et al. 17. A Method for Mobile Terminal Platform Architecture Development: T.Eriksson. 18. UML2 Profile for Modeling Controlled Data Parallel Applications: É.Rutten. 19.MCF: A Metamodeling based Visual Component Composition Framework: D.A. Mathaikutty and S.Shukla.20.Reusing Systems Design Experience Through Modelling Patterns: H.Corporaal et al.
Autorenporträt
InhaltsangabePreface: S.A. Huss. Part I. Analog Mixed-Signal, Introduction: C.Grimm. 1.Compact Modeling of Emerging Technologies with VHDL-AMS: F. Krummenacher et al. 2.Baseband Modeling Using Multidimensional Networks in VHDL-AMS: J.Haase. 3.Verification-Oriented Behavioral Modeling of Non-Linear Analog Parts of Mixed-Signal Circuits: E. Kock et al. 4.Improving Efficiency and Robustness of Analog Behavioral Models: E.Barke et al. 5.ModelLib: A Web-Based Platform for Collecting Behavioural Models and Supporting the Design of AMS Systems: T.Mähne and A.Vachoux. Part II. C / C++ Based System Design. Introduction: F.Oppenheimer. 6.The Quiny SystemC Front End: Self-Synthesising Designs: T.Schubert and W.Nebel. 7.Mining Metadata from SystemC IP Library: D.A.Mathaikutty and S.Shukla. 8.Non-Intrusive High-level SystemC Debugging: T.Berndt et al. 9.Transaction Level Modeling in Communication Engine Design: T.Mäkeläinen et al. 10.Object-Oriented Transaction Level Modelling: M.Radetzki. Part III. Property Driven Design, Introduction: D.Borrione. 11.A Efficient Synthesis Method for Property-Based Design in Formal Verification: H.Eveking et al. 12.On-line monitoring of properties built on regular expressions sequences: K.Morin-Allory and D.Borrione. 13.Observer-Based Verification Using Introspection: E. M. Aboulhamid et al. 14.Formalizing TLM with Communicating State Machines: B. Niemann et al. 15.Different Kinds of System Descriptions as Synchronous Programs: J.Brandt and K.Schneider. Part IV. UMLBased System Specification and Design, Introduction: P.van der Putten. 16.A Modeldriven codesign flow for Embedded Systems: S.Bocchio et al. 17. A Method for Mobile Terminal Platform Architecture Development: T.Eriksson. 18. UML2 Profile for Modeling Controlled Data Parallel Applications: É.Rutten. 19.MCF: A Metamodeling based Visual Component Composition Framework: D.A. Mathaikutty and S.Shukla. 20.Reusing Systems Design Experience Through Modelling Patterns: H.Corporaal et al.