A flexible specification framework for hardware-software codesign

Author

Moya, José Manuel ; Domínguez, Santiago ; Moya, Francisco ; López, Juan Carlos

Author_Institution

Dept. de Inf., Univ. de Castilla-La Mancha, Spain

fYear

2000

fDate

2000

Firstpage

753

Abstract

Presents a new specification technique for complex hardware-sofware systems, based on standard high-level programming languages, such as C, C++, Java, Scheme, or Ada, without extensions or semantic changes. Unlike previous approaches, the designer may choose the model of computation and the specification language that best suits her needs, while still being able to formally verify the correctness of the specification. The details of the available hardware and software resources, and the implementation of the different models of computation are encapsulated in libraries to maximize reuse in system specifications

Keywords

Ada; C language; C++ language; Java; hardware-software codesign; specification languages; Ada; C; C++; Java; Scheme; complex hardware-sofware systems; flexible specification framework; hardware-software codesign; model of computation; software resources; specification language; specification technique; standard high-level programming languages; system specifications; Application software; Computational modeling; Computer architecture; Computer interfaces; Formal verification; Hardware; Java; Petri nets; Software libraries; Specification languages;

fLanguage

English

Publisher

ieee

Conference_Titel

Design, Automation and Test in Europe Conference and Exhibition 2000. Proceedings

Conference_Location

Paris

Print_ISBN

0-7695-0537-6

Type

conf

DOI

10.1109/DATE.2000.840886

Filename

840886