385 search results - page 19 / 77 » Verified Code Generation for Embedded Systems |
138
Voted
DATE
2010
IEEE
15 years 14 days ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
154
Voted
CODES
2003
IEEE
15 years 7 months ago
2003
IEEE
One of the most challenging problems in high-level synthesis is how to quickly explore a wide range of design options to achieve high-quality designs. This paper presents an Integ...
126
click to vote
MEMOCODE
2003
IEEE
15 years 7 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
136
Voted
DASIP
2010
14 years 8 months ago
2010
This paper proposes an automatic design flow from userfriendly design to efficient implementation of video processing systems. This design flow starts with the use of coarsegrain ...
CODES
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...