542 search results - page 12 / 109 » SystemJ: A GALS language for system level design |
FLAIRS
2008
13 years 9 months ago
2008
This paper describes a heuristics-based system for automatic measurement of syntactic complexity using the revised Developmental Level (D-Level) Scale (Rosenberg and Abbeduto, 198...
MEMOCODE
2003
IEEE
14 years 23 days ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
ISSS
1995
IEEE
13 years 11 months ago
1995
IEEE
In this paper we brie
y describe a set of designs that can serve as examples for High Level Synthesis (HLS) systems. The designs vary in complexity from simple behavioral nite st...
FDL
2007
IEEE
13 years 11 months ago
2007
IEEE
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
DASIP
2010
13 years 2 months ago
2010
Nowadays, the design flow of complex signal processing embedded systems starts with a specification of the application by means of a large and sequential program (usually in C/C++...