Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

Verification of Microelectronics Systems Using Logic Compiler Technology

Desde 2001-07-01 hasta 2002-06-30

Detalles del proyecto

Coste total:

EUR 663 379

Aportación de la UE:

EUR 468 300

Coordinado en:

France

Régimen de financiación:

ACM - Preparatory, accompanying and support measures

Objetivo

Coordinador

CROUZET AUTOMATISMES
France
RUE DU DOCTEUR ABEL 2
26000 VALENCE
France
See on map
Contacto administrativo: Alain CHATENAY
Tel.: +33-13-9456506
Fax: +33-13-9656515
Correo electrónico

Participantes

FORSCHUNGSZENTRUM INFORMATIK AN DER UNIVERSITAET KARLSRUHE
Germany
HAID-UND-NEU-STRASSE 10-14
76131 KARLSRUHE
Germany
See on map
Contacto administrativo: Guenter SCHUMACHER
Tel.: +49-72-19654310
Fax: +49-72-19654309
Correo electrónico
INSTITUT NATIONAL DE RECHERCHE ET DE SECURITE
France
30 RUE OLIVIER NOYER
75680 PARIS 14
France
See on map
Contacto administrativo: Philippe CHARPENTIER
Tel.: +33-38-3502168
Fax: +33-38-3502115
Correo electrónico
NON STANDARD LOGICS LIMITED
United Kingdom
200 WEST END LANE
NW6 1SG WEST HAMPSTEAD (LONDON)
United Kingdom
See on map
Contacto administrativo: Giovanni BREVIARIO
Tel.: +44-20-74311623
Fax: +44-87-00529181
Correo electrónico
UNIVERSITAET KARLSRUHE - INSTITUT FUER ANGEWANDTE MATHEMATIK
Germany
KAISERSTRASSE 12
76128 KARLSRUHE
Germany
See on map
Contacto administrativo: Edgar KAUCHER
Tel.: +49-72-16084343
Fax: +49-72-16087669
Correo electrónico
Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba