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

Projektinformationen

CHARME

ID Finanzhilfevereinbarung: 3216

Projekt abgeschlossen

Startdatum 1 Juli 1989

Enddatum 29 Februar 1992

Finanziert unter

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

Gesamtkosten

Keine Daten

EU-Beitrag

Keine Daten

Koordiniert durch

INTERUNIVERSITAIR MIKROELEKTRONICA CENTRUM
Belgium

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Other (1)

TURNING THE FORMAL VERIFICATION OF VLSI HARDWARE INTO REALITY

Autoren: 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))
Veröffentlicht in: EXTRACT: ESPRIT 1991 : CONFERENCE PROCEEDINGS (1991) PP. 857-873 (EUR 13853) THE OFFICE FOR OFFICIAL PUBLICATIONS OF THE EUROPEAN COMMUNITIES, L-2985 LUXEMBOURG, 1991, Seite(n) 857-873