1
3D-Integration und 3D-Datenstrukturen – Eine Übersicht
Authors:
Fischbach, Robert; Lienig, Jens
Conference:
edaWorkshop 09 - Workshop 2009 - Electronic Design Automation (EDA)
2
A Rapid Prototyping Environment for ASIP Validation in Wireless Systems
Authors:
Alles, Matthias; Lehnigk-Emden, Timo; Brehm, Christian; Wehn, Norbert
Conference:
edaWorkshop 09 - Workshop 2009 - Electronic Design Automation (EDA)
3
A Top-Down formal Verification Approach of LIN Hardware IP based on the GapFreeVerificationTM Process
Authors:
Sander, Oliver; Klimm, Alexander; Hogh-Binder, Arnd; Weinberger, Katharina; Bulach, Slava; Becker, Jürgen
Conference:
edaWorkshop 09 - Workshop 2009 - Electronic Design Automation (EDA)
4
Joint Property Specification for Transient Simulation and Formal Verification of Analog Circuits
Authors:
Steinhorst, Sebastian; Hedrich, Lars
Conference:
edaWorkshop 09 - Workshop 2009 - Electronic Design Automation (EDA)
5
Multi-bit Soft- and Timing Error Detection for CPU Pipelines
Authors:
Bouajila, Abdelmajid; Zeppenfeld, Johannes; Stechele, Walter; Herkersdorf, Andreas
Conference:
edaWorkshop 09 - Workshop 2009 - Electronic Design Automation (EDA)
6
Reliability and Safety Guarantees in Modern MPSoCs with Real- Time Requirements
Authors:
Sebastian, Maurice; Ernst, Rolf
Conference:
edaWorkshop 09 - Workshop 2009 - Electronic Design Automation (EDA)
7
Schnelle, zyklengenaue Abschätzung der Leistungsaufnahme eingebetteter Prozessoren auf Systemebene
Authors:
Sander, Björn; Schnerr, Jürgen; Bringmann, Oliver; Schweizer, Thomas; Rosenstiel, Wolfgang; Rosenstiel, Wolfgang
Conference:
edaWorkshop 09 - Workshop 2009 - Electronic Design Automation (EDA)
8
Waveform-based Timing Analysis for Digital Circuits using Current Source Models and Model Order Reduction
Authors:
Knoth, Christoph; Kleeberger, Veit B.; Chen, Ning; Nordholz, Petra; Schlichtmann, Ulf
Conference:
edaWorkshop 09 - Workshop 2009 - Electronic Design Automation (EDA)
9
Zentrale und dezentrale Selbstreparatur von Bussen
Authors:
Scheit, Daniel; Vierhaus, Heinrich Theodor
Conference:
edaWorkshop 09 - Workshop 2009 - Electronic Design Automation (EDA)