1
A New SAT-Based Approach for Equivalence Checking of Hardware-Dependent Low-Level Embedded System Software
Autoren:
Villarraga, Carlos; Schmidt, Bernard; Bormann, Jörg; Stoffel, Dominik; Kunz, Wolfgang
Konferenz:
edaWorkshop 13 - Tagungsband
2
Abstraktion des Switching-Trap-Modells für eine leistungsorientierte NBTI-Simulation
Autoren:
Eilers, Reef; Bergemann, Carl; Helms, Domenik; Nebel, Wolfgang
Konferenz:
edaWorkshop 13 - Tagungsband
3
Analysis of Aging Mitigation Techniques for Digital Circuits Considering Recovery Effects
Autoren:
Barke, Martin; Kleeberger, Veit; Werner, Christoph; Schmitt-Landsiedel, Doris; Schlichtmann, Ulf
Konferenz:
edaWorkshop 13 - Tagungsband
4
Einfluss der Elektromigration auf den Layoutentwurf in zukünftigen Technologien
Autoren:
Thiele, Matthias; Lienig, Jens
Konferenz:
edaWorkshop 13 - Tagungsband
5
NBTI Effects on Clock Uncertainty and Applications in Continuous-Time Σ-Δ Modulator
Autoren:
Cai, Hao; Petit, Hervé; Naviner, Jean-François
Konferenz:
edaWorkshop 13 - Tagungsband
6
Propagierung und Transformation von Randbedingungen für den AMS-IC-Entwurf
Autoren:
Krinke, Andreas; Mittag, Maximilian; Jerke, Göran; Lienig, Jens
Konferenz:
edaWorkshop 13 - Tagungsband
7
SystemC Verifikation mittels symbolischer Simulation einer Zwischensprache
Autoren:
Le, Hoang M.; Große, Daniel; Herdt, Vladimir; Drechsler, Rolf
Konferenz:
edaWorkshop 13 - Tagungsband
8
The DECO framework: Reliability simulation based on a general design-environment communication approach
Autoren:
Sohrmann, Christoph; Lange, André; Jancke, Roland; Müller, Leif
Konferenz:
edaWorkshop 13 - Tagungsband
9
Timing Slack Monitoring for Reliability Diagnosis
Autoren:
Pour Aryan, Nasim; Wirnshofer, Martin; Aghaie, Soheil; Georgakos, Georg; Schmitt-Landsiedel, Doris
Konferenz:
edaWorkshop 13 - Tagungsband
10
Towards more Dependable Verification of Parameter Variations using Semi-Formal Techniques
Autoren:
Radojicic, Carna; Moreno, Javier; Pan, Xiao; Grimm, Christoph
Konferenz:
edaWorkshop 13 - Tagungsband
11
Using Analog Meta-Stabilities in Asynchronously Feed-Backed Circuits
Autoren:
Uygur, Gürkan; Sattler, Sebastian M.
Konferenz:
edaWorkshop 13 - Tagungsband