179 search results - page 3 / 36 » Automatic High Level Assertion Generation and Synthesis for ... |
DATE
1998
IEEE
13 years 9 months ago
1998
IEEE
This paper presents a new approach to cross-level hierarchical high-level synthesis. A methodology is presented, that supports the efficient synthesis of hierarchical specified sy...
RTCSA
2005
IEEE
13 years 11 months ago
2005
IEEE
While enabling fast implementation and reconfiguration of stream applications, programmable stream processors expose issues of incompatibility and lack of adoption in existing st...
KBSE
2006
IEEE
13 years 11 months ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
IESS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract System level design is considered a major approach to tackle the complexity of modern System-on-Chip designs. Embedded software within SoCs is gaining importance as it add...
ASPDAC
2009
ACM
14 years 1 days ago
2009
ACM
Abstract— This paper presents synthesis of Hardware Dependent Software (HdS) for multicore and many-core designs using Embedded System Environment (ESE). ESE is a tool set, devel...