Web Map
Location
News
Santander Info
|
| GIM>Research>Publication |
| PUBLICATION |
| |
| Full record |
| Title: | Formal Support for Untimed SystemC specifications: Application to high-level synthesis |
| Type: | International Conference |
| Where: | Forum on specification & Design Languages 2010, FDL'2010, IEEE |
| Date: | 2010-09 |
| Authors: |
Víctor Fernández
Fernando Herrera
Eugenio Villar
|
| R&D Lines: |
Design and verification of HW/SW embedded systems
|
| Projects: |
IST 033511 ANDRES
FP7 IP 247999 COMPLEX
|
| ISBN: | 1636-9874 |
| PDF File: | see file
|
| Abstract: | SystemC lacks a well defined formal semantics for abstract
specification, specifically for untimed models. This paper tackles
this problem by providing the fundamentals of a framework which
enables the analysis of any untimed SystemC specification under a
formal meta-model. Then, the conditions for the SystemC
specification to correspond with its formal meta-model are
defined. As an application example, the use of the framework for
high-level synthesis verification is shown.
IEEEXplore FDL'10 Proceedings
|
|
|
