Preface: 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.
EAN/ISBN : 9781402061493
Publisher(s): Springer Netherlands
Format: ePub/PDF

Author(s): Huss, Sorin A.