Sciweavers

13 search results - page 1 / 3
» fdl 2008
Sort
View
FDL
2008
IEEE
13 years 11 months ago
UML 2.0 Interactions with OCL/RT Constraints
Daniel Calegari, María Victoria Cengarle, N...
FDL
2008
IEEE
13 years 11 months ago
Application - Platform Performance Modeling and Evaluation
Jari Kreku, Mika Hoppari, Tuomo Kestilä, Yang...
FDL
2008
IEEE
13 years 6 months ago
RTL Generation of Channel Architecture Templates for a Template-based SoC Design Flow
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...
Jinhyun Cho, Soonwoo Choi, Soo Chae
FDL
2008
IEEE
13 years 11 months ago
Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...
Jens Gladigau, Christian Haubelt, Jürgen Teic...