Obiettivo The goal of the PROSYD project is to significantly increase the competitiveness and efficiency of the European IT industry through the establishment of a standard, integrated property-based paradigm for the design of electronic systems. This paradigm will integrate and unify the many phases of system development, including requirement definition, design, implementation, and verification, into one coherent design flow, building on the emerging standard property specification language PSL/Sugar, which has been recently selected as a basis for an IEEE standard. The new paradigm will enable the development of electronic systems of higher quality within shorter design cycles and with lower costs.The prime deliverable of the PROSYD project will be a reference methodology and a set of coherent PSL/Sugar-based tools for property-based system design. Using these tools, we aim to demonstrate an improvement of at least 30% in design productivity. In addition, we expect to see an increase in the quality of the finished product, resulting in a significant decrease in the number of design flaws that make it through the verification phase. Campo scientifico social scienceseconomics and businesseconomicsproduction economicsproductivity Parole chiave Nanotechnology Programma(i) FP6-IST - Information Society Technologies: thematic priority under the specific programme "Integrating and strengthening the European research area" (2002-2006). Argomento(i) IST-2002-2.3.1.1 - Pushing the limits of CMOS, preparing for post-CMOS Invito a presentare proposte Data not available Meccanismo di finanziamento STREP - Specific Targeted Research Project Coordinatore IBM ISRAEL - SCIENCE AND TECHNOLOGY LTD Contributo UE Nessun dato Indirizzo 94 DERECH EM-HAMOSHAVOT 49527 PETACH TIKVA Israele Mostra sulla mappa Costo totale Nessun dato Partecipanti (10) Classifica in ordine alfabetico Classifica per Contributo UE Espandi tutto Riduci tutto ACCELLERA ORGANIZATION Stati Uniti Contributo UE Nessun dato Indirizzo 315 BLOSSOM VALLEY DRIVE CA 95032 LOS GATOS Mostra sulla mappa Costo totale Nessun dato CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE Francia Contributo UE Nessun dato Indirizzo 3, RUE MICHEL-ANGE PARIS CEDEX 16 Mostra sulla mappa Costo totale Nessun dato ISTITUTO TRENTINO DI CULTURA Italia Contributo UE Nessun dato Indirizzo VIA SANTA CROCE 77 38100 TRENTO Mostra sulla mappa Costo totale Nessun dato ONESPIN SOLUTIONS GMBH Germania Contributo UE Nessun dato Indirizzo THERESIENHOHE 12 80339 MUENCHEN Mostra sulla mappa Costo totale Nessun dato STMICROELECTRONICS LIMITED Regno Unito Contributo UE Nessun dato Indirizzo PLANAR HOUSE PARK WAY GLOBE PARK SL7 1YL MARLOW, BUCKS Mostra sulla mappa Costo totale Nessun dato STMICROELECTRONICS S.R.L. Italia Contributo UE Nessun dato Indirizzo VIA OLIVETTI 2 20041 AGRATE BRIANZA Mostra sulla mappa Costo totale Nessun dato STMICROELECTRONICS SA Francia Contributo UE Nessun dato Indirizzo 29 BOULEVARD ROMAIN ROLLAND 92120 MONTROUGE Mostra sulla mappa Costo totale Nessun dato TECHNISCHE UNIVERSITAET GRAZ Austria Contributo UE Nessun dato Indirizzo RECHBAUERSTRASSE 12 8010 GRAZ Mostra sulla mappa Costo totale Nessun dato THE WEIZMANN INSTITUTE OF SCIENCE Israele Contributo UE Nessun dato Indirizzo HERZEL STREET 2 76100 REHOVOT Mostra sulla mappa Costo totale Nessun dato UNIVERSITE JOSEPH FOURIER GRENOBLE 1 Francia Contributo UE Nessun dato Indirizzo 621 AVENUE CENTRALE - DOMAINE UNIVERSITAIRE 38400 SAINT MARTIN D'HERES Mostra sulla mappa Costo totale Nessun dato