» Debug Automation for Logic Circuits Under Timing Variations
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Mehdi Dehbashi, Görschwin Fey |
| Zeitschrift: |
|
IEEE Design & Test of Computers |
| Details: |
|
accepted |
Jahr:
|
|
2013
|
|
» Parametric Verification and Test Coverage for Hybrid Automata using the Inverse Method
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Laurent Fribourg, Ulrich Kühne |
| Zeitschrift: |
|
International Journal of Foundations of Computer Science (IJFCS) |
| Details: |
|
Volume 24, Number 02 (February 2013), pp. 233-250 |
Jahr:
|
|
2013
|
|
» RevKit: An Open Source Toolkit for the Design of Reversible Circuits
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler |
| Zeitschrift: |
|
Reversible Computation 2011 (Series: Lecture Notes in Computer Science) |
| Details: |
|
Volume 7165, Third International Workshop, RC 2011, Revised Papers |
Jahr:
|
|
2012
|
|
» Automated Design Debugging in a Testbench-Based Verification Environment
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Mehdi Dehbashi, André Sülflow, Görschwin Fey |
| Zeitschrift: |
|
Embedded Hardware Design - Microprocessors and Microsystems (MICPRO) |
| Details: |
|
Volume 37, Issue 2, pp. 206-217 |
Jahr:
|
|
2013
|
|
» Automatic TLM Fault Localization for SystemC
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Hoang M. Le, Daniel Große, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 31, Number 8, pp. 1249-1262,
DOI: 10.1109/TCAD.2012.2188800
|
Jahr:
|
|
2012
|
|
» Special Issue on Reversible Computation
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Rolf Drechsler, Irek Ulidowski, Robert Wille (editors) |
| Zeitschrift: |
|
Multiple-Valued Logic and Soft Computing |
| Details: |
|
Volume 18, Number 1 |
Jahr:
|
|
2012
|
|
» RevKit: A Toolkit for Reversible Circuit Design
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler |
| Zeitschrift: |
|
Multiple-Valued Logic and Soft Computing |
| Details: |
|
Volume 18, Number 1, pp. 55-65 |
Jahr:
|
|
2012
|
|
» A Highly Fault-Efficient SAT-Based ATPG Flow
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Stephan Eggersglüß, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Design & Test of Computers |
| Details: |
|
Volume 29, Issue 4 (July/August), pp. 63-70
|
Jahr:
|
|
2012
|
|
» Efficient Data Structures and Methodologies for SAT-based ATPG providing High Fault Coverage in Industrial Application
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Stephan Eggersglüß, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 30, Number 9, pp. 1411-1415,
DOI: 10.1109/TCAD.2011.2152450 |
Jahr:
|
|
2011
|
|
» Effective Robustness Analysis using Bounded Model Checking Techniques
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Görschwin Fey, André Sülflow, Stefan Frehse, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 30, Number 8, pp. 1239-1252
DOI: 10.1109/TCAD.2011.2120950 |
Jahr:
|
|
2011
|
|
» Synthesis of Quantum Circuits for Linear Nearest Neighbor Architectures
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Mehdi Saeedi, Robert Wille, Rolf Drechsler |
| Zeitschrift: |
|
Quantum Information Processing |
| Details: |
|
Volume 10, Number 3, pp. 355-377DOI: 10.1007/s11128-010-0201-2 |
Jahr:
|
|
2011
|
|
» Debugging Reversible Circuits
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Robert Wille, Daniel Große, Stefan Frehse, Gerhard W. Dueck, Rolf Drechsler |
| Zeitschrift: |
|
INTEGRATION, the VLSI Journal |
| Details: |
|
Volume 44, Number 1, pp. 51-61, JanuaryDOI: 10.1016/j.vlsi.2010.08.002 |
Jahr:
|
|
2011
|
|
» BDD-Based Synthesis of Reversible Logic
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Robert Wille, Rolf Drechsler |
| Zeitschrift: |
|
International Journal of Applied Metaheuristic Computing (IJAMC) |
| Details: |
|
Volume 1, Number 4, pp. 25-41 |
Jahr:
|
|
2010
|
|
» Automatische formale Verifikation der Fehlertoleranz von Schaltkreisen
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Görschwin Fey, Andre Sülflow, Stefan Frehse, Rolf Drechsler |
| Zeitschrift: |
|
it-Information Technology |
| Details: |
|
Volume 52, Number 4, pp. 216-223
PDF Download |
Jahr:
|
|
2010
|
|
» Towards Fully Automatic Synthesis of Embedded Software
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Ulrich Kühne, Daniel Große, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Embedded Systems Letters |
| Details: |
|
Volume 2, Number 3, pp. 53-57, September |
Jahr:
|
|
2010
|
|
» Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Robert Wille, Rolf Drechsler |
| Zeitschrift: |
|
Electronic Notes in Theoretical Computer Science |
| Details: |
|
Volume 253, Number 6, pp. 57-70DOI: 10.1016/j.entcs.2010.02.006 |
Jahr:
|
|
2010
|
|
» Incremental Solving Techniques for SAT-based ATPG
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Daniel Tille, Stephan Eggersglüß, Rolf Drechsler |
| Zeitschrift: |
|
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems |
| Details: |
|
Volume 29, Number 7, pp. 1125-1130, July |
Jahr:
|
|
2010
|
|
» Synthese reversibler Logik
[Link zur Zeitschriften-Homepage]
|
|
|
|
|
|
Autor:
|
|
Robert Wille, Rolf Drechsler |
| Zeitschrift: |
|
it-Information Technology |
| Details: |
|
Volume 52, Number 1, pp. 30-38
PDF Download |
Jahr:
|
|
2010
|
|
» MONSOON: SAT-based ATPG for Path Delay Faults Using Multiple-Valued Logics
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Stephan Eggersglüß, Görschwin Fey, Andreas Glowatz, Friedrich Hapke, Juergen Schloeffel, Rolf Drechsler |
| Zeitschrift: |
|
Journal of Electronic Testing: Theory and Applications |
| Details: |
|
Volume 26, Number 3 / June, pp. 307-322
Pdf download (Preliminary Version)
The final publication is available at www.springerlink.com |
Jahr:
|
|
2010
|
|
» Overcoming the limitations of data introspection for SystemC
[Link zur Zeitschriften-Homepage]
|
 |
|
|
|
|
Autor:
|
|
Christian Genz, Rolf Drechsler |
| Zeitschrift: |
|
EDA Tech Forum |
| Details: |
|
Volume 6, Issue 5, Pages 30-34 (December 2009) |
Jahr:
|
|
2009
|
|
