» Combining SWAPs and Remote Toffoli Gates
in the Mapping to IBM QX Architectures
|
|
|
|
Autor:
|
|
Philipp Niemann, Chandan Bandyopadhyay, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe Conference (DATE) |
Referenz:
|
| Grenoble, France, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
» Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization
|
|
|
|
Autor:
|
|
Christoph Scholl, Alexander Konrad, Alireza Mahzoon, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe Conference (DATE) |
Referenz:
|
| Grenoble, France, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
» An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes
|
|
|
|
Autor:
|
|
Sören Tempel, Vladimir Herdt, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe Conference (DATE) |
Referenz:
|
| Grenoble, France, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
» System Level verification of Phase-Locked Loop using Metamorphic Relations
|
|
|
|
Autor:
|
|
Muhammad Hassan, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Design, Automation and Test in Europe Conference (DATE) |
Referenz:
|
| Grenoble, France, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
» ATLaS: Automatic Detection of Timing-based Information Leakage Flows for SystemC HLS Designs
|
|
|
|
Autor:
|
|
Mehran Goli, Rolf Drechsler |
| Konferenz: |
|
26th Asia and South Pacific Design Automation Conference (ASP-DAC) |
Referenz:
|
| Tokyo, Japan, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
» One-pass Synthesis for Field-coupled Nanocomputing Technologies
|
|
|
|
Autor:
|
|
Marcel Walter, Winston Haaswijk, Robert Wille, Frank Sill Torres, Rolf Drechsler |
| Konferenz: |
|
Asia and South Pacific Design Automation Conference (ASP-DAC) |
Referenz:
|
| Tokyo, Japan, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
» System-Level Verification of Linear and Non-Linear Behaviors of RF Amplifiers using Metamorphic Relations
|
|
|
|
Autor:
|
|
Muhammad Hassan, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Asia and South Pacific Design Automation Conference (ASP-DAC) |
Referenz:
|
| Tokyo, Japan, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
» Mutation-based Compliance Testing for RISC-V
|
|
|
|
Autor:
|
|
Vladimir Herdt, Sören Tempel, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Asia and South Pacific Design Automation Conference (ASP-DAC) |
Referenz:
|
| Tokyo, Japan, 2021
|
Hyperlink:
|
| [Link zur Konferenz]
|
» Clustering-Guided SMT(LRA) Learning
|
|
|
|
Autor:
|
|
Tim Meywerk, Marcel Walter, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
International Conference on integrated Formal Methods (iFM) |
Referenz:
|
| Lugano, Switzerland, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Adaptive Simulation with Virtual Prototypes for RISC-V: Switching Between Fast and Accurate at Runtime
|
|
|
|
Autor:
|
|
Vladimir Herdt, Daniel Große, Sören Tempel, Rolf Drechsler |
| Konferenz: |
|
38th IEEE International Conference on Computer Design (ICCD) |
Referenz:
|
| Hartford, USA, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» ASCHyRO: Automatic Fault Localization of SystemC HLS Designs Using a Hybrid Accurate Rank Ordering Technique
|
|
|
|
Autor:
|
|
Mehran Goli, Alireza Mahzoon, Rolf Drechsler |
| Konferenz: |
|
38th IEEE International Conference on Computer Design (ICCD) |
Referenz:
|
| Hartford, USA, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Verifying Safety Properties of Robotic Plans operating in Real-World Environments via Logic-based Environment Modeling
|
|
|
|
Autor:
|
|
Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathöfer, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) |
Referenz:
|
| Rhodes, Greece, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Power-aware Test Scheduling for IEEE 1687 Networks with Multiple Power Domains
|
|
|
|
Autor:
|
|
Payam Habiby, Sebastian Huhn, Rolf Drechsler |
| Konferenz: |
|
33rd IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT) |
Referenz:
|
| Frascati (Rome), Italy, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study
|
|
|
|
Autor:
|
|
Vladimir Herdt, Daniel Große, Eyck Jentzsch, Rolf Drechsler |
| Konferenz: |
|
Forum on Specification & Design Languages (FDL) |
Referenz:
|
| Kiel, Germany, 2020
Best Paper Award
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms
|
|
|
|
Autor:
|
|
Vladimir Herdt, Daniel Große, Rolf Drechsler |
| Konferenz: |
|
Automated Technology for Verification and Analysis (ATVA) |
Referenz:
|
| Hanoi, Vietnam, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing
|
|
|
|
Autor:
|
|
Umberto Garlando, Marcel Walter, Robert Wille, Fabrizio Riente, Frank Sill Torres, Rolf Drechsler |
| Konferenz: |
|
Euromicro Conference on Digital System Design (DSD) |
Referenz:
|
| Portorož, Slowenien, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Design Space Exploration in the Mapping of Reversible Circuits to IBM Quantum Computers
|
|
|
|
Autor:
|
|
Philipp Niemann, Alexandre A. A. de Almeida, Gerhard Dueck, Rolf Drechsler |
| Konferenz: |
|
Euromicro Conference on Digital System Design (DSD) |
Referenz:
|
| Portorož, Slowenien, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Combining Machine Learning and Formal Techniques for Small Data Applications - A Framework to Explore New Structural Materials
|
|
|
|
Autor:
|
|
Rolf Drechsler, Sebastian Huhn, Christina Plump |
| Konferenz: |
|
Euromicro Conference on Digital System Design (DSD) |
Referenz:
|
| Portorož, Slowenien, 2020
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Post Synthesis-Optimization of Reversible Circuit using Template Matching
|
|
|
|
Autor:
|
|
Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman |
| Konferenz: |
|
In 2020 24th International Symposium on VLSI Design and Test (VDAT) |
Referenz:
|
| pp. 1-4. IEEE, 2020, DOI: 10.1109/VDAT50263.2020.9190279
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
» Design Automation for Field-coupled Nanotechnologies
|
|
|
|
Autor:
|
|
Marcel Walter, Rolf Drechsler |
| Konferenz: |
|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Referenz:
|
| Limassol, Cyprus, 2020
Best Student Forum Paper Award
|
Hyperlink:
|
| [Link zur Konferenz]
|
PDF:
|
| [hier ansehen]
|
