Published on edacentrum (https://project.edacentrum.de)

edaWorkshop07 - Program

At this web page you find the programme of the edaWorkshop07. You may expand the programme for each session by clicking on the session title. You will find the detailed timetable, presentation titles and author names. If additional information like an abstract, curriculum vitae or (for attendees of the edaWorkshop07 only) slides is available, a link below the presentation title is displayed.

You may download the programme as PDF file (1.89 MB).

Wednesday, May 17, 2006

10:30 - 11:30
Kaffee- und Teepause

Tuesday, June 19, 2007

09:30 - 10:40
1. Sektion: Analog- und Mixed-Signal-Entwurf
Moderator: Erich Barke (edacentrum)

09:30	Begrüßung & Einleitung "IKT 2020 - Forschung für Innovation" Ulrich Katenkamp (BMBF)
09:45	Zukünftige HF-System-Entwurfstechnologien – DETAILS sind entscheidend! Reimund Wittmann (Nokia)
10:15	Struktursynthese von Analogen und Mixed-Signal-Schaltungen: Schwarze Magie? Christoph Grimm (TU Wien) Roland Jancke (Fraunhofer-IIS/EAS, D) Lars Hedrich (U Frankfurt, D) Sorin A. Huss (TU Darmstadt) Helmut Gräb (TU München)
10:40	Exploiting the Bit-Level Correlation of DSP Signals for Low Power Coding Schemes Construction in Capacitively Coupled Buses Tudor Alexandru Murgan (TU Darmstadt) Petru Bacinschi (TU Darmstadt) Manfred Glesner (TU Darmstadt)

11:05 - 11:45
Kaffee- und Teepause

11:45 - 12:40
2. Sektion: Herstellungsgerechter Entwurf und Zuverlässigkeit
Moderator: Peter van Staa (Robert Bosch GmbH)

11:45	LEONIDAS+ - Fortschritte beim leitbahnorientierten Entwurf Markus Olbrich (U Hannover, D)
12:15	Applikationsspezifische Zuverlässigkeitsbewertung von MPSoCs Björn Sander (FZI) Oliver Bringmann (FZI) Wolfgang Rosenstiel (U Tübingen)
12:40	A New Bounding Technique for Handling Arbitrary Correlations in Path Based Statistical STA Walter Schneider (TU Muenchen) Manuel Schmidt (TU Muenchen) Ulf Schlichtmann (TU München, D)

13:05 - 14:05
Mittagspause

14:05 - 15:35
3. Sektion: Entwurfsproduktivität
Moderator: Jürgen Alt (Infineon Technologies, D)

14:05	Invited Presentation: EDA - driving productivity beyond semiconductors Gerd Teepe (GLOBALFOUNDRIES, D)
14:50	Modellierung von Komplexität und Qualität als Faktoren von Produktivität in Design-Flows für integrierte Schaltungen Stefan Häusler (OFFIS) Sonja Aust (OFFIS) Kevin Hausmann (OFFIS) Wolfgang Nebel (OFFIS) Frank Poppen (OFFIS) Axel Hahn (OFFIS) Peter Leppelt (U Hannover) Amir Hassine (U Hannover) Erich Barke (U Hannover)
15:15	Vorstellung Kooperationsmarkt und Posterausstellung Cordula Pröfrock (edacentrum)

15:35 - 16:00
Kaffee- und Teepause

15:35 - 17:30
Posterausstellung & Kooperationsmarkt

17:30 - 23:00
Abendveranstaltung
Moderator: Jürgen Alt (Infineon Technologies, D)

17:30	Social Event: Rathausführung und Turmauffahrt, Neues Rathaus, Trammplatz 2, 30159 Hannover
19:00	Social Event: Empfang im Gartensaal, Neues Rathaus (Gartensaal), Trammplatz 2, 30159 Hannover
19:30	Social Event: Verleihung der "EDA-Medaille 2007" Erich Barke (edacentrum) Further Information
19:45	Dinner: Abendessen
23:00	Ende erster Tag

Wednesday, June 20, 2007

09:00 - 10:40
4. Sektion: Entwurf und Verifikation
Moderator: Norbert Wehn (TU Kaiserslautern)

09:00	Invited Presentation: Multi-core platforms are a reality… but where is the software support? Rudy Lauwereins (IMEC)
09:45	FEST - Innovationen für die Funktionale Verifikation von Systemen Bernd Becker (Albert-Ludwigs-Universität Freiburg)
10:15	Eigenschaftsbasierte Entwurfsmethodik für die Systemebene Hans Eveking (TU Darmstadt) Martin Schickel (TU Darmstadt) Martin Braun (TU Darmstadt) Volker Nimbler (TU Darmstadt)

10:40 - 11:15
Kaffee- und Teepause

10:40 - 13:00
Posterausstellung & Kooperationsmarkt

12:15 - 13:15
Mittagspause

13:15 - 14:45
5. Sektion: Low Power und Systementwurf
Moderator: Wolfgang Rosenstiel (edacentrum, D)

13:15	LEMOS – Was haben Chips und eine Herdplatte miteinander gemeinsam? Ralf Pferdmenges (Infineon, D)
13:45	Analytische Transaktionsmodellierung Frank Slomka (OFFIS) Karsten Albers (U Oldenburg) Frank Bodmann (U Oldenburg)
14:10	Ein Framework zur automatisierten Generierung von Network-on-Chips in SystemC Timo Schönwald (U Tübingen) Jochen Zimmermann (FZI) Oliver Bringmann (FZI) Wolfgang Rosenstiel (FZI)
14:35	Schlusswort
14:45	Ende edaWorkshop

Thursday, June 21, 2007

08:30 - 14:30
VeronA-Tutorial „Formalisierte Methoden zur Verifikation analoger Schaltungen“

08:30	Von der Dimensionierung zur Pareto-Optimierung - Verifikation von Schaltungseigenschaften mittels numerischer Optimierung Helmut Gräb (TU München)
09:30	Einführung in die Verifikation digitaler Schaltungen (FEST) Jochen Eisinger (U Freiburg) Ralf Wimmer (U Freiburg)
10:30	Verifikation hybrider Systeme Lars Hedrich (U Frankfurt, D)
11:45	Model Checking analoger Systeme Darius Grabowski (U Hannover)
13:30	Einführung in eine State-of-the-Art-Methodik zur formalen Analyse Jörg Müller (Cadence)

Source URL: https://project.edacentrum.de/en/events/edaworkshop/2007/program

edaWorkshop07 - Program

Wednesday, May 17, 2006

Tuesday, June 19, 2007

09:30 - 10:401. Sektion: Analog- und Mixed-Signal-EntwurfModerator: Erich Barke (edacentrum)

11:45 - 12:402. Sektion: Herstellungsgerechter Entwurf und ZuverlässigkeitModerator: Peter van Staa (Robert Bosch GmbH)

14:05 - 15:353. Sektion: EntwurfsproduktivitätModerator: Jürgen Alt (Infineon Technologies, D)

15:35 - 17:30Posterausstellung & Kooperationsmarkt

17:30 - 23:00AbendveranstaltungModerator: Jürgen Alt (Infineon Technologies, D)