Zugl.: Stuttgart, Univ., Diss., 2007. / Druckausg. beim Verl. Grauer, Beuren; Stuttgart erschienen.

Stuttgart, Univ., Diss., 2002.

Stuttgart, Univ., Diss., 2003.

Zugl.: München, Techn. Univ., Diplomarbeit

Universiẗat, Diss., 2006--Karlsruhe.

No description available.

Die jedes Frühjahr stattfindende »Dresdner Arbeitstagung Schaltungs- und Systementwurf« wird traditionell vom Fraunhofer-Institut für Integrierte Schaltungen, Institutsteil Entwurfsautomatisierung (EAS) und vom Sächsischen Arbeitskreis Informationstechnik des VDE Bezirksvereins Dresden ausgerichtet. Die Arbeitstagung hat bereits eine über 30-jährige Tradition und wird von Wissenschaftlern aus Forschungsinstituten und Ingenieuren aus der Industrie für einen regen fachlichen Austausch genutzt. Gegenstand der Tagung sind aktuelle Ergebnisse und neue Erkenntnisse aus Forschung und Entwicklung sowie Erfahrungsberichte und Problemdiskussionen auf dem Gebiet des Entwurfs analoger, digitaler und hybrider Systeme. Das Tagungsprogramm bietet den Teilnehmern wieder interessante Beiträge über neue Lösungen zum Entwurf komplexer Schaltungen und Systeme, die auch Themen wie Rekonfigurierbarkeit, Architekturen, Performance, Hardware-Software, Test und Optimierung behandeln. Begleitend zur Tagung wird von der Firma Mentor Graphics ein Workshop zum Thema »Advanced Verification Methodology« angeboten. Hier werden an einem Beispiel die Vorteile der zukünftigen Design Verifikation mit System Verilog und Assertions erläutert. Der vorliegende Tagungsband enthält die Langfassungen der Beiträge, für deren Form und Inhalt die Autoren verantwortlich sind. Als Veranstalter bedanken wir uns bei den Autoren für die Bereitstellung dieser Beiträge, die als Grundlage für die fachlichen Diskussionen dienen, und bei den Teilnehmern für ihr Interesse an unserer Arbeitstagung.

Ein stetig wachsender Anteil des Aufwands zum Entwurf digitaler Schaltungen entfällt auf die funktionale Verifikation. Der Verifikationsraum als Menge aller möglichen Kombinationen von Attributen einer Komponente, d. h. der Parameter und Eingangsdaten, ist oftmals sehr groß, wodurch die Verifikation aller Kombinationen unpraktikabel wird. Deshalb verwenden moderne Methoden der funktionalen Verifikation die zufallsgesteuerte Erzeugung von Stimuli in Verbindung mit manuell definierten Spezialfällen, sog. Corner Cases, um eine möglichst hohe funktionale Abdeckung in der angestrebten Verteilung zu erzielen. Als großer Nachteil diese Ansätze führen steigende Abdeckungsanforderungen zu exponentiell ansteigenden Laufzeiten. Um diesen Nachteil auszugleichen, wurden Generatoren propagiert, die nur solche Kombinationen erzeugen, die nicht bereits abgedeckt worden sind. Leider können die dabei verwendeten Verfahren das Problem nicht zufriedenstellend lösen, da auch sie im Allgemeinen zufällige Kombinationen erzeugen, um in einem zweiten Schritt zu prüfen, ob diese bereits abgedeckt sind. Im vorliegenden Beitrag werden Entscheidungsdiagramme zur Repräsentation aller zulässigen Kombinationen innerhalb des Verifikationsraums verwendet. Mit Hilfe dieses analytischen Modells kann jede beliebige Anzahl von Kombinationen in linearer Zeit erzeugt werden. Wird die vorgestellte Methode auf die Zufallserzeugung zur funktionalen Verifikation angewendet, kann diese um Größenordnungen beschleunigt werden.

One of the core issues in the debate on a future Constitution within the framework of the European Convention was the reform of competences. On 29 October 2004, the Heads of State or Government signed the outcome of the reform process, the Treaty establishing a Constitution for Europe. With regard to the fundamentals of the competence system, namely the attribution and control of competences, as well as the definition of competence categories, the Constitutional Treaty essentially codifies the present acquis communautaire. In the field of external action, however, it introduces significant amendments that might have a considerable impact on the balance of powers within the European Union. This paper analyses these changes. It looks at the potential implications of the institutional amendments regarding the new post of the Union Minister for Foreign Affairs and the strengthened role of the European Council, as well as the newly defined principles and objectives of the Union's external action. Further emphasis is placed on the scope of the Union's external powers following the incorporation of the principle of implied powers, as well as an analysis of the individual competence provisions in Title V of the Constitutional Treaty. (author's abstract) / Series: EI Working Papers / Europainstitut

Univ., Diss.--Münster, 2005. / Literaturverz. S. [383] - 393. Mit engl. Zsfassung.