Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

FP5

VERIMUCH

Project ID: IST-2000-28630
Finanziato nell'ambito di

Verification of Microelectronics Systems Using Logic Compiler Technology

Dal 2001-07-01 al 2002-06-30

Dettagli del progetto

Costo totale:

EUR 663 379

Contributo UE:

EUR 468 300

Coordinato in:

France

Meccanismo di finanziamento:

ACM - Preparatory, accompanying and support measures

Obiettivo

Coordinatore

CROUZET AUTOMATISMES
France
RUE DU DOCTEUR ABEL 2
26000 VALENCE
France
See on map
Contatto amministrativo: Alain CHATENAY
Tel.: +33-13-9456506
Fax: +33-13-9656515
E-mail

Partecipanti

FORSCHUNGSZENTRUM INFORMATIK AN DER UNIVERSITAET KARLSRUHE
Germany
HAID-UND-NEU-STRASSE 10-14
76131 KARLSRUHE
Germany
See on map
Contatto amministrativo: Guenter SCHUMACHER
Tel.: +49-72-19654310
Fax: +49-72-19654309
E-mail
INSTITUT NATIONAL DE RECHERCHE ET DE SECURITE
France
30 RUE OLIVIER NOYER
75680 PARIS 14
France
See on map
Contatto amministrativo: Philippe CHARPENTIER
Tel.: +33-38-3502168
Fax: +33-38-3502115
E-mail
NON STANDARD LOGICS LIMITED
United Kingdom
200 WEST END LANE
NW6 1SG WEST HAMPSTEAD (LONDON)
United Kingdom
See on map
Contatto amministrativo: Giovanni BREVIARIO
Tel.: +44-20-74311623
Fax: +44-87-00529181
E-mail
UNIVERSITAET KARLSRUHE - INSTITUT FUER ANGEWANDTE MATHEMATIK
Germany
KAISERSTRASSE 12
76128 KARLSRUHE
Germany
See on map
Contatto amministrativo: Edgar KAUCHER
Tel.: +49-72-16084343
Fax: +49-72-16087669
E-mail