Correct Hardware Design Methodology: Towards Formal Design and Verification for Provably Correct VLSI Hardware

Informations projet

CHARME

N° de convention de subvention: 3216

Projet clôturé

Date de début 1 Juillet 1989

Date de fin 29 Février 1992

Financé au titre de

• European strategic programme (EEC) for research and development in information technologies (ESPRIT), 1987-1992

Coût total

Aucune donnée

Contribution de l’UE

Aucune donnée

Coordonné par

INTERUNIVERSITAIR MIKROELEKTRONICA CENTRUM
Belgium

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Other (1)

TURNING THE FORMAL VERIFICATION OF VLSI HARDWARE INTO REALITY

Auteurs: CLAESEN L (KATHOLIEKE UNIVERSITEIT LEUVEN, IMEC (BE)), BORRIONEL D (INSTITUTE B.P. 53 X, LABORATOIRE IMAG-ARTEMIS, GRENOBLE (FR)), EVEKING H (TECHNISCHE UNIVERSITAET, INSTITUT FUER DATENTECHNIK, DARMSTADT (DE)), PAILLET J L (UNIVERSITE DE PROVENCE, CASE Y, MARSEILLE (FR);POLITECNICO DI TORINO (IT))
Publié dans: EXTRACT: ESPRIT 1991 : CONFERENCE PROCEEDINGS (1991) PP. 857-873 (EUR 13853) THE OFFICE FOR OFFICIAL PUBLICATIONS OF THE EUROPEAN COMMUNITIES, L-2985 LUXEMBOURG, 1991, Page(s) 857-873