Skip to main content Skip to main navigation

Publikationen

Seite 1 von 7.

  1. Saeideh Shirinzadeh; Mathias Soeken; Pierre-Emmanuel Gaillardon; Rolf Drechsler

    Logic synthesis for RRAM-based in-memory computing

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Vol. 37, No. 7, Pages 1422-1435, IEEE, 2018.

  2. Saeideh Shirinzadeh; Mathias Soeken; Pierre-Emmanuel Gaillardon; Giovanni De Micheli; Rolf Drechsler

    Endurance Management for ResistiveLogic-In-Memory Computing Architectures

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2017), March 27-31, Lausanne, Switzerland, 2017.

  3. Christopher Rosebrock; Saeideh Shirinzadeh; Mathias Soeken; Norbert Riefler; Thomas Wriedt; Rolf Drechsler; Lutz Mädler

    Time-resolved detection of diffusion limited temperature gradients inside single isolated burning droplets using Rainbow Refractometry

    In: Combustion and Flame, Vol. 168, Pages 255-269, Elsevier, 6/2016.

  4. Saeideh Shirinzadeh; Mathias Soeken; Pierre-Emmanuel Gaillardon; Rolf Drechsler

    Fast Logic Synthesis for RRAM-based In-Memory Computing using Majority-Inverter Graphs

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE), March 14-18, Dresden, Germany, 2016.

  5. Amr Sayed Ahmed; Daniel Große; Ulrich Kühne; Mathias Soeken; Rolf Drechsler

    Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE), March 14-18, Dresden, Germany, Pages 1048-1053, 2016.

  6. Mathias Soeken; Daniel Große; Arun Chandrasekharan; Rolf Drechsler

    BDD Minimization for Approximate Computing

    In: 21st Asia and South Pacific Design Automation Conference ASP-DAC 2016. Asia and South Pacific Design Automation Conference (ASP-DAC-21), January 25-28, Macau, China, Pages 474-479, 2016.

  7. Mathias Soeken; Saeideh Shirinzadeh; Pierre-Emmanuel Gaillardon; Luca Gaetano Amarù; Rolf Drechsler; Giovanni De Micheli

    An MIG-based Compiler for Programmable Logic-in-Memory Architectures

    In: Proceedings of the 53th Design Automation Conference (DAC). Design Automation Conference (DAC-53), 53th, June 5-9, Austin, USA, 2016.

  8. 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.

  9. Nabila Abdessaied; Matthew Amy; Mathias Soeken; Rolf Drechsler

    Technology mapping of reversible circuits to Clifford+T quantum circuits

    In: International Symposium on Multiple-Valued Logic. International Symposium on Multiple-Valued Logic (AAAI SSS), IEEE, 2016.

  10. Nabila Abdessaied; Matthew Amy; Rolf Drechsler; Mathias Soeken

    Complexity of Reversible Circuits and their Quantum Implementations

    In: Theoretical Computer Science, 2016.