Rainer Dömer  Home/Search
Context
Related
| uci.edu/~cad/publicatio...esc02.309.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uci.edu/~cad/publications...INDEX (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A well-defined design methodology supported by a system-level design language (SLDL) is the key for managing the complexity of the design flow, especially at the system level. Only with well-defined and unambiguous models and transformations can we achieve productivity gains through synthesis, verification and tool interoperability. This paper presents the SpecC system design language. After a general overview of SLDL requirements, it describes the SpecC language as an example of a language... (Update)
Similar documents (at the sentence level):
5.8%: Kiran Ramineni - Daniel Gajski April (Correct)
Active bibliography (related documents): More All
0.0: Seamless Approach for the Design of Control Systems for . . . - Saoud, Gajski, Gerstlauer (2000) (Correct)
0.0: Interactive System Design Flow - Peng, Cai, Gerstlauer, Gajski (2002) (Correct)
0.0: The Formal Execution Semantics of SpecC - Wolfgang Mueller Paderborn (2002) (Correct)
Similar documents based on text: More All
0.6: The SpecC System-Level Design Language and.. - Dömer, Gerstlauer.. (2002) (Correct)
0.6: SpecC Methodology for High-Level Modeling - Dömer, Gajski, Gerstlauer (2002) (Correct)
0.3: SpecC System-Level Design Methodology Applied to the.. - Gerstlauer, Zhao.. (2000) (Correct)
BibTeX entry: (Update)
@misc{ mer-specc,
author = "Rainer Dömer",
title = "The SpecC System-Level Design Language and Methodology, Part 1",
url = "citeseer.ist.psu.edu/613027.html" }
Citations (may not include all citations):1174 StateCharts: a visual formalism for complex systems - Harel - 1987
161 Specification and Design of Embedded Systems (context) - Gajski, Vahid et al. - 1994
85 Kluwer Academic Publishers (context) - Gajski, Zhu et al. - 2000
22 System Design: A Practical Guide with SpecC (context) - Gerstlauer, Dmer et al. - 2001
1 System-level Modeling and Design with the SpecC Language (context) - Dmer - 2000
http://www.cecs.uci.edu/~specc/
http://www.specc.org/
Documents on the same site (http://www.cecs.uci.edu/~cad/publications/conferences/2000-04/INDEX.html): More
Reuse and Protection of Intellectual Property in the SpecC System - Dömer, Gajski (2000) (Correct)
SpecC System-Level Design Methodology Applied to the.. - Gerstlauer, Zhao.. (2000) (Correct)
Usage-Based Characterization of Complex Functional Blocks .. - Fan, Chaiyakul, Gajski (2000) (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