Robotics Innovation Center

Page 7 of 10.

1. Mehran Goli; Muhammad Hassan; Daniel Große; Rolf Drechsler

   Automated Analysis of Virtual Prototypes at Electronic System Level

   In: 29th ACM Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2019), May 9-11, Washington, DC, USA, 2019.

2. Robert Wille; Marcel Walter; Frank Sill Torres; Daniel Große; Rolf Drechsler

   Ignore Clocking Constraints: An Alternative Physical Design Methodology for Field-coupled Nanotechnologies

   In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI) 2019. IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2019), July 15-17, Miami, …

3. Marcel Walter; Robert Wille; Frank Sill Torres; Daniel Große; Rolf Drechsler

   fiction: An Open Source Framework for the Design of Field-coupled Nanocomputing Circuits

   In: International Workshop on Logic & Synthesis (IWLS). International Workshop on Logic & Synthesis (IWLS-2019), June 21-23, Lausanne, Switzerland, …

4. Buse Ustaoglu; Sebastian Huhn; Frank Sill Torres; Daniel Große; Rolf Drechsler

   SAT-Hard: A Learning-based Hardware SAT-Solver

   In: EUROMICRO Digital System Design Conference (DSD). Euromicro Conference on Digital System Design (DSD-2019), August 28-30, Kallithea, Chalkidiki, …

5. Tim Meywerk; Marcel Walter; Vladimir Herdt; Daniel Große; Rolf Drechsler

   Towards Formal Verification of Plans for Cognition-enabled Autonomous Robotic Agents

   In: EUROMICRO Digital System Design Conference (DSD). Euromicro Conference on Digital System Design (DSD-2019), August 28-30, Kallithea, Chalkidiki, …

6. Alireza Mahzoon; Daniel Große; Rolf Drechsler

   GenMul: Generating architecturally complex multipliers to challenge formal verification tools

   In: 28th International Workshop on Logic & Synthesis. International Workshop on Logic & Synthesis (IWLS-2019), June 21-23, Lausanne, Switzerland, …

7. Muhammad Hassan; Daniel Große; Thilo Vörtler; Karsten Einwich; Rolf Drechsler

   Functional Coverage-Driven Characterization of RF Amplifiers

   In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2019), September 2-4, Southampton, United Kingdom, …

8. Vladimir Herdt; Daniel Große; Rolf Drechsler; Christoph Gerum; Alexander Jung; Joscha-Joel Benz; Oliver Bringmann; Michael Schwarz; Dominik Stoffel; Wolfgang Kunz

   Systematic RISC-V based Firmware Design

   In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2019), September 2-4, Southampton, United Kingdom, …

9. Rolf Drechsler; Daniel Große

   Ensuring Correctness of Next Generation Devices: From Reconfigurable to Self-Learning Systems

   In: 28th IEEE Asian Test Symposium. Asian Test Symposium (ATS-2019), December 10-13, Kolkata, India, 2019.

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

    Approximate Memory: Data Storage in the Context of Approximate Computing

    In: Cornelia Große; Rolf Drechsler. Information Storage. Pages 111-133, Springer, 2019.

• previous
• 1
• …
• 6
• 7
• 8
• …
• 10
• next