Robotics Innovation Center

Page 3 of 10.

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

   RevSCA-2.0: SCA-based Formal Verification of Non-trivial Multipliers using Reverse Engineering and Local Vanishing Removal

   In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), IEEE, 2021.

2. Frank Riese; Vladimir Herdt; Daniel Große; Rolf Drechsler

   Metamorphic Testing for Processor Verification: A RISC-V Case Study at the Instruction Level

   In: IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC). IFIP/IEEE International Conference on Very Large Scale Integration …

3. Alireza Mahzoon; Daniel Große; Christoph Scholl; Rolf Drechsler

   Towards Formal Verification of Optimized and Industrial Multipliers

   In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2020), March 9-13, Grenoble, France, 2020.

4. Vladimir Herdt; Daniel Große; Rolf Drechsler

   Fast and Accurate Performance Evaluation for RISC-V using Virtual Prototypes

   In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2020), March 9-13, Grenoble, France, 2020.

5. Vladimir Herdt; Daniel Große; Rolf Drechsler

   Towards Specification and Testing of RISC-V ISA Compliance

   In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2020), March 9-13, Grenoble, France, 2020.

6. Muhammad Hassan; Daniel Große; Ahmad Asghar; Rolf Drechsler

   Coverage-Directed Stimuli Generation for Characterization of RF Amplifiers

   In: 32. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2020). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von …

7. Tom J. Kazmierski; Sebastian Steinhorst; Daniel Große

   Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2018

   ISBN 978-3-030-31585-6, Springer, 2020.

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

   Extensible and Configurable RISC-V Based Virtual Prototype

   In: Tom J. Kazmierski; Sebastian Steinhorst; Daniel Große. Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions …

9. Saman Fröhlich; Lucas Klemmer; Daniel Große; Rolf Drechsler

   ASNet: Introducing Approximate Hardware to High-Level Synthesis of Neural Networks

   In: 50th International Symposium on Multiple-Valued Logic (ISMVL). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2020), May 20-22, …

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

    Verification for Field-coupled Nanocomputing Circuits

    In: 57th Design Automation Conference (DAC). Design Automation Conference (DAC-2020), July 19-23, San Francisco, USA, 2020.

• previous
• 1
• …
• 2
• 3
• 4
• …
• 10
• next