Objectif
Integrated circuits are found in almost everything we use, from computers to automobiles, to appliances to medical devices. The chip industry is an integral part of the prosperity of the European economy. Due to reliability and strict time-to-market concerns, the community is challenged to design such complex devices, remain competitive and guarantee their correct functionality. In the design of these high-performance circuits it has been observed that verification and debugging is a major bottleneck in the integrated circuit design flow, i.e. up to 70% of the overall design costs are due to verification and debugging. Verification and debugging are "tough" problems with a multi-million dollar worldwide market, significant financial investment by the Europe and Community and an average 15% growth per year.
Although a plethora of efficient and cost-effective automated verification solutions have been developed, the debugging effort is still performed manually by the engineers. Manual debugging is a daunting, time-consuming and resource-intensive task that may jeopardize the design effort already invested in the design, it may delay product delivery and lower manufacture yield. This project encompasses three main targets. First, it will develop state-of-the-art automated tools that utilize contemporary Boolean Satisfiability solvers to enhance the verification process as they will diagnose and correct errors in high-performance designs.
This builds upon our decade-long internationally recognized, patented and laboratory research awarded efforts. Secondly, the funds will be used to generate the momentum and establish a state-of-the-art VLSI laboratory at the Department of Informatics of the Athens University of Economics and Business. Finally, it will aid the PI, who is an expert in that field with a 15 year long research contribution in top-notch institutions in N.America to have a smooth transition back to the European research workforce.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
- sciences sociales économie et affaires économie
- sciences sociales économie et affaires entreprise et gestion emploi
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Mots‑clés
Les mots-clés du projet tels qu’indiqués par le coordinateur du projet. À ne pas confondre avec la taxonomie EuroSciVoc (champ scientifique).
Les mots-clés du projet tels qu’indiqués par le coordinateur du projet. À ne pas confondre avec la taxonomie EuroSciVoc (champ scientifique).
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
FP6-2004-MOBILITY-12
Voir d’autres projets de cet appel
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
IRG - Marie Curie actions-International re-integration grants
Coordinateur
Grèce
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.