Generation environment for effective verification

Información del proyecto

GENEVIEVE

Identificador del acuerdo de subvención: 25314

Proyecto cerrado

Fecha de inicio 1 Noviembre 1997

Fecha de finalización 30 Abril 2000

Financiado con arreglo a

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

Coste total € 4 800 000,00

Aportación de la UE € 2 400 000,00

Coordinado por

Stmicroelectronics S.A.
France

Programa(s)

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

Tema(s)

• 5.5 - OMI Technology

Convocatoria de propuestas

Data not available

Régimen de financiación

CSC - Cost-sharing contracts

Coordinador

Stmicroelectronics S.A.

• Aportación de la UE: Sin datos
• Dirección: Av Gallieni 7 ; 94253 Gentilly ; Francia
• Coste total: Sin datos

Participantes (3)

Ibm Israel-Science Technology Ltd

Israel

• Aportación de la UE: Sin datos
• Dirección: Weizman Street 2 ; 61336 Tel Aviv
• Coste total: Sin datos

Languages for Design Automation

Francia

• Aportación de la UE: Sin datos
• Dirección: Batiment C.Iiriam ; 13013 Marseille
• Coste total: Sin datos

Stmicroelectronics Limited

Reino Unido

• Aportación de la UE: Sin datos
• Dirección: Planar House, Parkway, Globe Park, ; SL7 1YL Marlow,
• Coste total: Sin datos