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

Información del proyecto

CHARME

Identificador del acuerdo de subvención: 3216

Proyecto cerrado

Fecha de inicio 1 Julio 1989

Fecha de finalización 29 Febrero 1992

Financiado con arreglo a

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

Coste total

Sin datos

Aportación de la UE

Sin datos

Coordinado por

INTERUNIVERSITAIR MIKROELEKTRONICA CENTRUM
Belgium

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Other (1)

TURNING THE FORMAL VERIFICATION OF VLSI HARDWARE INTO REALITY

Autores: 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))
Publicado en: EXTRACT: ESPRIT 1991 : CONFERENCE PROCEEDINGS (1991) PP. 857-873 (EUR 13853) THE OFFICE FOR OFFICIAL PUBLICATIONS OF THE EUROPEAN COMMUNITIES, L-2985 LUXEMBOURG, 1991, Página(s) 857-873