FDL
2008
IEEE
13 years 5 months ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
FDL
2008
IEEE
13 years 6 months ago
2008
IEEE
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...
FDL
2008
IEEE
13 years 6 months ago
2008
IEEE
Nowadays interactive electronics products offer a huge functionality to prospective customers, but often it is too huge and complex to be grasped and used successfully. In this ca...
FDL
2008
IEEE
13 years 6 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
FDL
2008
IEEE
13 years 11 months ago
2008
IEEE
—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...
FDL
2008
IEEE
13 years 11 months ago
2008
IEEE
The features of the emerging modeling languages for system design allow designers to build models of almost any kind of heterogeneous hardware-software systems, including Real Tim...
FDL
2008
IEEE
13 years 11 months ago
2008
IEEE
There is an increasing need for automated conversion of high-level design descriptions into hardware. We present a flow that converts a software application written in the Brook ...
FDL
2008
IEEE
13 years 11 months ago
2008
IEEE
FDL
2008
IEEE
13 years 11 months ago
2008
IEEE
FDL
2008
IEEE
13 years 11 months ago
2008
IEEE
