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

Informacje na temat projektu

CHARME

Identyfikator umowy o grant: 3216

Projekt został zamknięty

Data rozpoczęcia 1 Lipca 1989

Data zakończenia 29 Lutego 1992

Finansowanie w ramach

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

Koszt całkowity

Brak danych

Wkład UE

Brak danych

Koordynowany przez

INTERUNIVERSITAIR MIKROELEKTRONICA CENTRUM
Belgium

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Other (1)

TURNING THE FORMAL VERIFICATION OF VLSI HARDWARE INTO REALITY

Autorzy: 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))
Opublikowane w: EXTRACT: ESPRIT 1991 : CONFERENCE PROCEEDINGS (1991) PP. 857-873 (EUR 13853) THE OFFICE FOR OFFICIAL PUBLICATIONS OF THE EUROPEAN COMMUNITIES, L-2985 LUXEMBOURG, 1991, Strona(/y) 857-873