You have Guest access.
Log In
Sorin Huss
i-x
Front matter
5-88
1 / Analog, Mixed-Signal, and Heterogeneous System Design
5-21
Compact Modeling of Emerging Technologies with VHDL-AMS
23-35
Baseband Modeling Using Multidimensional Networks in VHDL-AMS
37-51
Verification-Oriented Behavioral Modeling of NonLinear Analog Parts of Mixed-Signal Circuits
53-68
Improving Efficiency and Robustness of Analog Behavioral Models
69-88
ModelLib: A Web-Based Platform for Collecting Behavioural Models and Supporting the Design of AMS Systems
93-174
2 / C/C++-Based System Design
93-109
The Quiny SystemCTM Front End: Self-Synthesising Designs
111-129
Mining Metadata from SystemC IP Library
131-144
Nonintrusive High-level SystemC Debugging
145-156
Transaction-Level Modeling in Communication Engine Design: A Case Study
157-174
Object-Oriented Transaction-Level Modelling
179-260
3 / Formalisms for Property-Driven Design
179-196
An Efficient Synthesis Method for Property-Based Design in Formal Verification: On Consistency and Completeness of Property-Sets
197-207
Online Monitoring of Properties Built on Regular Expressions Sequences
209-224
Observer-BasedVerification Using Introspection: A System-level Verification Implementation
225-242
Formalizing TLM with Communicating State Machines
243-260
Different Kinds of System Descriptions as Synchronous Programs
265-358
4 / UML-Based System Specification and Design
265-284
A Model-driven Co-design Flow for Embedded Systems
285-300
A Method for Mobile Terminal Platform Architecture Development
301-317
UML2 Profile for Modeling Controlled Data Parallel Applications
319-337
MCF: A Metamodeling-based Visual Component Composition Framework
339-358
Reusing Systems Design Experience Through Modelling Patterns
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info