Ziel
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.
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
- Sozialwissenschaften Wirtschaftswissenschaften Wirtschaftswissenschaft
- Sozialwissenschaften Wirtschaftswissenschaften Business und Management Erwerbstätigkeit
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Schlüsselbegriffe
Schlüsselbegriffe des Projekts, wie vom Projektkoordinator angegeben. Nicht zu verwechseln mit der EuroSciVoc-Taxonomie (Wissenschaftliches Gebiet).
Schlüsselbegriffe des Projekts, wie vom Projektkoordinator angegeben. Nicht zu verwechseln mit der EuroSciVoc-Taxonomie (Wissenschaftliches Gebiet).
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
FP6-2004-MOBILITY-12
Andere Projekte für diesen Aufruf anzeigen
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
IRG - Marie Curie actions-International re-integration grants
Koordinator
Griechenland
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.