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