Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451)
DOI: 10.1109/dac.2003.1219013
|View full text |Cite
|
Sign up to set email alerts
|

Automatic communication refinement for system level design

Abstract: Abstract

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
5
0

Publication Types

Select...
6
1

Relationship

0
7

Authors

Journals

citations
Cited by 10 publications
(5 citation statements)
references
References 6 publications
0
5
0
Order By: Relevance
“…Because of the formalized modeling style of SpecC, general hardware modules can be synthesized automatically. The SpecC synthesis flow consists of two sequential steps: Architecture Exploration including automatic model refinement [68], followed by communication synthesis [69]. For processor modules, system level RTOS 4 modeling and automatic task refinement are possible [70].…”
Section: Speccmentioning
confidence: 99%
“…Because of the formalized modeling style of SpecC, general hardware modules can be synthesized automatically. The SpecC synthesis flow consists of two sequential steps: Architecture Exploration including automatic model refinement [68], followed by communication synthesis [69]. For processor modules, system level RTOS 4 modeling and automatic task refinement are possible [70].…”
Section: Speccmentioning
confidence: 99%
“…Large interest has been attracted by transaction level modeling with system level design languages such as SpecC [4] and SystemC [6]. Based on the orthogonalization of system functionality and system communication, these languages support virtual prototyping and mixed-mode simulation [1,5,9] as well as communication analysis [11,16,17] using several TLM abstraction levels. Faced with the task of generating a synthesizable MPSoC implementation, however, the crucial issue is communication refinement.…”
Section: Figure 1 Complex Multiprocessor Socmentioning
confidence: 99%
“…In [1] and [17], the authors tackle automatic communication refinement, and Kogel et al [11] address virtual architecture mapping using a generic bus model. Fummi et al [3] and Ramaswamy et al [14] show application-specific techniques for HW-assisted verification with SystemC.…”
Section: Figure 1 Complex Multiprocessor Socmentioning
confidence: 99%
“…Different models are used for generating each type of interface. Abdi et al [13] propose a way for integrating heterogeneous subsystems by using an abstract interface. In these approaches, the coarse granularity of the library elements may provide unnecessary functionalities, which impact system efficiency.…”
Section: Related Workmentioning
confidence: 99%