» A Lightweight Method for Transient Test Power Pattern Analysis for Pattern Selection
|
|
|
|
Author:
|
|
Harshad Dhotre, Stephan Eggersglüß |
| Workshop: |
|
29. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2017) |
Reference:
|
| Lübeck, Germany, 2017
|
Hyperlink:
|
| [Link to the Workshop]
|
» Making Waveforms Great Again
|
|
|
|
Author:
|
|
Jannis Stoppe and Rolf Drechsler |
| Workshop: |
|
4th Workshop on Design Automation for Understanding Hardware Designs (DUHDe) |
Reference:
|
| Lausanne, Switzerland, 2017
|
Hyperlink:
|
| [Link to the Workshop]
|
» A Human-Centered Approach to Routing for Digital Microfluidic Biochips
|
|
|
|
Author:
|
|
Oliver Keszöcze, Andre Pols and Rolf Drechsler |
| Workshop: |
|
4th Workshop on Design Automation for Understanding Hardware Designs (DUHDe) |
Reference:
|
| Lausanne, Switzerland, 2017
|
Hyperlink:
|
| [Link to the Workshop]
|
» Verilog2GEXF - Dynamic Large Scale Circuit Visualization
|
|
|
|
Author:
|
|
Kenneth Schmitz, Jannis Stoppe, Rolf Drechsler |
| Workshop: |
|
4th Workshop on Design Automation for Understanding Hardware Designs (DUHDe) |
Reference:
|
| Lausanne, Switzerland, 2017
|
Hyperlink:
|
| [Link to the Workshop]
|
» Computing Exact Fault Candidates Incrementally
|
|
|
|
Author:
|
|
Heinz Riener, Görschwin Fey |
| Workshop: |
|
4th Workshop on Design Automation for Understanding Hardware Designs (DUHDe) |
Reference:
|
| Lausanne, Switzerland, 2017
|
Hyperlink:
|
| [Link to the Workshop]
|
» Mining Latency Guarantees for RT-level Designs
|
|
|
|
Author:
|
|
Jan Malburg, Heinz Riener, Görschwin Fey |
| Workshop: |
|
4th Workshop on Design Automation for Understanding Hardware Designs (DUHDe) |
Reference:
|
| Lausanne, Switzerland, 2017
|
Hyperlink:
|
| [Link to the Workshop]
|
» Revisiting Symbolic Software-implemented Fault Injection
|
|
|
|
Author:
|
|
Hoang M. Le, Vladimir Herdt, Daniel Große, Rolf Drechsler |
| Workshop: |
|
2nd International Workshop
on Resiliency in Embedded Electronic Systems (REES) |
Reference:
|
| Lausanne, Switzerland, 2017
|
Hyperlink:
|
| [Link to the Workshop]
|
» Der Einfluss von Zellformen auf das Routing von Digital Microfluidic Biochips
|
|
|
|
Author:
|
|
Leonard Schneider, Oliver Keszöcze, Jannis Stoppe, Rolf Drechsler |
| Workshop: |
|
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
Reference:
|
| Bremen, Germany, 2017
|
Hyperlink:
|
| [Link to the Workshop]
|
» Exakte BDD Minimierung mit Fehlerschranke für den Einsatz im Approximate Computing
|
|
|
|
Author:
|
|
Saman Fröhlich, Daniel Große, Rolf Drechsler |
| Workshop: |
|
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
Reference:
|
| Bremen, Germany, 2017
|
Hyperlink:
|
| [Link to the Workshop]
|
» Counterexample-Guided EF Synthesis of Boolean Functions
|
|
|
|
Author:
|
|
Heinz Riener, Rüdiger Ehlers, Görschwin Fey |
| Workshop: |
|
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
Reference:
|
| Bremen, Germany, 2017
|
Hyperlink:
|
| [Link to the Workshop]
|
» Using Lightweight Containers in Hardware/Software Co-Design for Security
|
|
|
|
Author:
|
|
Daniel Große, Kenneth Schmitz, Rolf Drechsler |
| Workshop: |
|
Workshop on Computer-Aided Design and Implementation for Cryptography and Security (CADICS) |
Reference:
|
| Austin, USA, 2016
|
Hyperlink:
|
| [Link to the Workshop]
|
» Integrating an SMT-based Model Finder into USE
|
|
|
|
Author:
|
|
Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler |
| Workshop: |
|
Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa) |
Reference:
|
| Saint-Malo, France, 2016
|
Hyperlink:
|
| [Link to the Workshop]
|
» On the computational complexity of error metrics in approximate computing
|
|
|
|
Author:
|
|
Oliver Keszöcze, Mathias Soeken, Rolf Drechsler |
| Workshop: |
|
International Workshop on Boolean Problems |
Reference:
|
| Freiberg, Germany, 2016
|
Hyperlink:
|
| [Link to the Workshop]
|
» SystemCDG - AI Based Coverage Driven Stimuli Generation for SystemC
|
|
|
|
Author:
|
|
Jannis Stoppe, Arved Friedemann, Rolf Drechsler |
| Workshop: |
|
International Workshop on Logic & Synthesis (IWLS) |
Reference:
|
| Austin, TX, USA, 2016
|
Hyperlink:
|
| [Link to the Workshop]
|
» Counterexample-Guided Diagnosis
|
|
|
|
Author:
|
|
Heinz Riener, Görschwin Fey |
| Workshop: |
|
International Verification and Security Workshop (IVSW'16) |
Reference:
|
| Sant Feliu de Guixols, Catalunya, Spain, 2016
|
Hyperlink:
|
| [Link to the Workshop]
|
PDF:
|
| [click here]
|
» Generating good properties from a small number of use cases
|
|
|
|
Author:
|
|
Jan Malburg, Tino Flenker, Görschwin Fey |
| Workshop: |
|
International Verification and Security Workshop (IVSW'16) |
Reference:
|
| Sant Feliu de Guixols, Catalunya, Spain, 2016
|
Hyperlink:
|
| [Link to the Workshop]
|
» SMT-Based CPS Parameter Synthesis
|
|
|
|
Author:
|
|
Heinz Riener, Robert Könighofer, Görschwin Fey, Roderick Bloem |
| Workshop: |
|
Applied Verification for Continuous and Hybrid Systems (ARCH'16) |
Reference:
|
| Vienna, Austria, 2016
|
Hyperlink:
|
| [Link to the Workshop]
|
PDF:
|
| [click here]
|
» Extraktion von Frame Conditions aus Operation Contracts
|
|
|
|
Author:
|
|
Philipp Niemann, Frank Hilken, Martin Gogolla, Robert Wille |
| Workshop: |
|
Software Engineering (SE) |
Reference:
|
| Vienna, Austria, 2016
|
Hyperlink:
|
| [Link to the Workshop]
|
» Synthesis of Optical Circuits with Contradictory
Optimization Objectives
|
|
|
|
Author:
|
|
Arighna Deb, Robert Wille, Oliver Keszöcze, Stefan Hillmich, Rolf Drechsler |
| Workshop: |
|
The 2nd International Workshop on Optical/Photonic Interconnects for Computing Systems (OPTICS Workshop) |
Reference:
|
| Dresden, Germany, 2016
|
Hyperlink:
|
| [Link to the Workshop]
|
» Change Management for Hardware Designers
|
|
|
|
Author:
|
|
Martin Ring, Jannis Stoppe, Christoph Lüth, Rolf Drechsler |
| Workshop: |
|
Workshop on Design Automation for Understanding Hardware Designs (DUHDE) |
Reference:
|
| Dresden, Germany, 2016
|
Hyperlink:
|
| [Link to the Workshop]
|
