(Enter summary)
Abstract: this paper, we present such system
level semantics to cover the system design process. We define properties and features of each model. Formalization of the flow
enables design automation for synthesis and verification to achieve the required productivity gains. Through customization,
the semantics allow creation of specific design methodologies. We applied the concepts to system languages SystemC and
SpecC. Using the example of a JPEG encoder, we will demonstrate the feasibility and... (Update)
Context of citations to this paper: More
...TLM automatically while the SoCOS based system model is created manually. 3 Design Flow Figure 1 shows a typical system level design flow [9]. The system design process starts with the specification model written by the designer to specify the desired system functionality....
...the di#erent models for system design. Due to space constraints, definitions are limited in detail. For more information, please refer to [6]. 2.1 Specification Model The specification is a behavioral description of the system. It describes the desired functionality free of any...
Cited by: More
Haobo Yu, Rainer Doemer, Daniel Gajski - May Center For
(Correct)
System-Level Abstraction Semantics - Gerstlauer, Gajski (2000)
(Correct)
RTOS Scheduling in Transaction Level Models - Yu, Gerstlauer, Gajski (2003)
(Correct)
Similar documents (at the sentence level):
10.0%: System Design Methodology and Tools - Gajski, Peng, Gerstlauer, Yu (2003)
(Correct)
Active bibliography (related documents): More All
0.7: Kiran Ramineni - Rainer Domer Daniel
(Correct)
0.6: Communication Abstractions for System-Level . . . - Gerstlauer (2003)
(Correct)
0.4: Application-Specific Multiprocessor . . . - Jerraya, Baghdadi, Cesario..
(Correct)
Similar documents based on text: More All
1.7: SpecC Modeling Guidelines - Gerstlauer (2002)
(Correct)
1.0: Interactive System Design Flow - Peng, Cai, Gerstlauer, Gajski (2002)
(Correct)
0.9: Queue Generation Algorithm for Interface Synthesis - Shin, Gajski (2002)
(Correct)
Related documents from co-citation: More All
3: Design of a GSM Vocoder using SpecC Methodology
- Gerstlauer, Zhao et al. - 1999
2: System: Design: A Practical Guide with SpecC (context) - Gerstlauer, Doemer et al. - 2001
2: Automatic Generation and Targeting of Application Specific Operating Systems and..
- Gauthier, Yoo et al. - 2001
BibTeX entry: (Update)
Andreas Gerstlauer and Daniel D. Gajski, System-Level Abstraction Semantics, 2002. http://citeseer.ist.psu.edu/article/gerstlauer02systemlevel.html More
@misc{ gerstlauer02systemlevel,
author = "A. Gerstlauer and D. Gajski",
title = "System-Level Abstraction Semantics",
text = "Andreas Gerstlauer and Daniel D. Gajski, System-Level Abstraction Semantics,
2002.",
year = "2002",
url = "citeseer.ist.psu.edu/article/gerstlauer02systemlevel.html" }
Citations (may not include all citations):
277
Ptolemy: a framework for simulating and prototyping heteroge..
- Buck - 1994
22
System Design: A Practical Guide with SpecC (context) - Gerstlauer - 2001
21
Automatic generation of application-specific architectures f.. (context) - Lyonnard - 2001
20
System Design with SystemC (context) - Grotker - 2002
13
Scalable and flexible cosimulation of SoC designs with heter..
- Gerin - 2001
10
Multilanguage design of heterogeneous systems
- Coste - 1999
9
Guest editors introduction - New VLSI tools (context) - Gajski, Kuhn - 1983
9
The PARADISE design environment
- Hardt - 1999
8
CoWare: A design environment for heterogeneous hardware/soft.. (context) - Rompaey - 1996
8
Information and Computer Science (context) - Caietal, of et al. - 1999
7
An efficient architecture model for systematic design of app..
- Baghdadi, Lyonnard et al. - 2001
5
A higher level system communication model for object-oriente..
- Svarstad - 2001
4
SystemC SV ---An extension of SystemC for mixed multi-level .. (context) - Siegmund, Muller - 2001
3
Center for Embedded Computer Systems (context) - Gerstlauer, Gajski et al. - 2002
3
SpecC: Specification Language and Design Methodology (context) - Gajski - 2000
2
Design of a JPEG Encoder using SpecC Methodology (context) - Yin, Du et al. - 2000
1
The Rugby model: A conceptual frame for the study of modelli..
- Jantsch - 1999
1
A model for describing communication between aggregate objec..
- Svarstad, Nicolescu et al. - 2001
http://www.cecs.uci.edu/specc
http://www.systemc.org
http://www.systemc.org
Documents on the same site (http://www.cecs.uci.edu/technical_report/): More
Parallelization Optimization of System-Level Specification - Cai, Gajski
(Correct)
System Design Methodology and Tools - Gajski, Peng, Gerstlauer, Yu (2003)
(Correct)
Transaction Level Modeling In System Level Design - Cai, Gajski (2003)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC