Publications

Page 1 of 1.

1. Sebastian Huhn; Stefan Frehse; Robert Wille; Rolf Drechsler

   Determining Application-specific Knowledge for Improving Robustness of Sequential Circuits

   In: IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Vol. 27, No. 4, Pages 875-887, IEEE, 4/2019.

2. Sebastian Huhn; Stefan Frehse; Robert Wille; Rolf Drechsler

   Enhancing Robustness of Sequential Circuits Using Application-specific Knowledge and Formal Methods

   In: 22nd Asia and South Pacific Design Automation Conference ASP-DAC 2017. Asia and South Pacific Design Automation Conference (ASP-DAC-22), January …

3. Heinz Riener; Finn Haedicke; Stefan Frehse; Mathias Soeken; Daniel Große; Rolf Drechsler; Görschwin Fey

   metaSMT: Focus On Your Application And Not On Solver Integration

   In: International Journal on Software Tools for Technology Transfer (STTT), Springer, 2016.

4. Mathias Soeken; Stefan Frehse; Robert Wille; Rolf Drechsler

   RevKit: An Open Source Toolkit for the Design of Reversible Circuits

   In: Alexis De Vos; Robert Wille (Hrsg.). Reversible Computation - Third International Workshop, RC 2011. International Workshop on Reversible …

• 1