Robotics Innovation Center

Page 9 of 10.

1. Kenneth Schmitz; Arun Chandrasekharan; Jonas Gomes Filho; Daniel Große; Rolf Drechsler

   Trust is good, Control is better: Hardware-based Instruction-Replacement for Reliable Processor-IPs

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

2. Saman Fröhlich; Daniel Große; Rolf Drechsler

   Exakte BDD Minimierung mit Fehlerschranke für den Einsatz im Approximate Computing

   In: 20. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”. ITG/GMM/GI-Workshop "Methoden …

3. Muhammad Hassan; Vladimir Herdt; Hoang M. Le; Mingsong Chen; Daniel Große; Rolf Drechsler

   Data Flow Testing for Virtual Prototypes

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

4. 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 …

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. Hoang M. Le; Vladimir Herdt; Daniel Große; Rolf Drechsler

   Towards Formal Verification of Real-World SystemC TLM Peripheral Models - A Case Study

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

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

   Symbolic Error Metric Determination for Approximate Computing

   In: 19. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” (MBMV). ITG/GMM/GI-Workshop …

8. Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler

   ParCoSS: Efficient Parallelized Compiled Symbolic Simulation

   In: International Conference on Computer Aided Verification (CAV). International Conference on Computer Aided Verification (CAV-28), July 17-23, …

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

10. Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler

    Compiled Symbolic Simulation for SystemC

    In: 35th International Conference On Computer Aided Design. IEEE/ACM International Conference on Computer-Aided Design (ICCAD-35), November 7-10, …

• previous
• 1
• …
• 8
• 9
• 10