Community Research and Development Information Service - CORDIS

FP5

VERIMUCH

Project ID: IST-2000-28630
Funded under

Verification of Microelectronics Systems Using Logic Compiler Technology

From 2001-07-01 to 2002-06-30

Project details

Total cost:

EUR 663 379

EU contribution:

EUR 468 300

Coordinated in:

France

Funding scheme:

ACM - Preparatory, accompanying and support measures

Objective

Coordinator

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

Participants

FORSCHUNGSZENTRUM INFORMATIK AN DER UNIVERSITAET KARLSRUHE
Germany
HAID-UND-NEU-STRASSE 10-14
76131 KARLSRUHE
Germany
See on map
Administrative contact: 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
Administrative contact: 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
Administrative contact: 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
Administrative contact: Edgar KAUCHER
Tel.: +49-72-16084343
Fax: +49-72-16087669
E-mail
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top