Generation environment for effective verification

Informazioni relative al progetto

GENEVIEVE

ID dell’accordo di sovvenzione: 25314

Progetto chiuso

Data di avvio 1 Novembre 1997

Data di completamento 30 Aprile 2000

Finanziato da

• Specific research and technological development programme in the field of information technologies, 1994-1998

Costo totale € 4 800 000,00

Contributo UE € 2 400 000,00

Coordinato da

Stmicroelectronics S.A.
France

Programma(i)

• FP4-ESPRIT 4 - Specific research and technological development programme in the field of information technologies, 1994-1998

Argomento(i)

• 5.5 - OMI Technology

Invito a presentare proposte

Data not available

Meccanismo di finanziamento

CSC - Cost-sharing contracts

Coordinatore

Stmicroelectronics S.A.

• Contributo UE: Nessun dato
• Indirizzo: Av Gallieni 7 ; 94253 Gentilly ; Francia
• Costo totale: Nessun dato

Partecipanti (3)

Ibm Israel-Science Technology Ltd

Israele

• Contributo UE: Nessun dato
• Indirizzo: Weizman Street 2 ; 61336 Tel Aviv
• Costo totale: Nessun dato

Languages for Design Automation

Francia

• Contributo UE: Nessun dato
• Indirizzo: Batiment C.Iiriam ; 13013 Marseille
• Costo totale: Nessun dato

Stmicroelectronics Limited

Regno Unito

• Contributo UE: Nessun dato
• Indirizzo: Planar House, Parkway, Globe Park, ; SL7 1YL Marlow,
• Costo totale: Nessun dato