
» Next Generation Design For Testability, Debug and
Reliability Using Formal Techniques
|

|

|

|
Autor:
|

|
Sebastian Huhn and Rolf Drechsler |
Konferenz: |

|
International Test Conference (ITC) |
Referenz:
| 
| Anaheim, CA, USA, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge Device
|

|

|

|
Autor:
|

|
Alexander Fratzer, Vladimir Herdt, Christoph Lüth, Rolf Drechsler
|
Konferenz: |

|
Forum on Specification & Design Languages (FDL) |
Referenz:
| 
| Linz, Austria, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|

» Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification
|

|

|

|
Autor:
|

|
Niklas Bruns, Vladimir Herdt, Rolf Drechsler
|
Konferenz: |

|
Forum on Specification & Design Languages (FDL) |
Referenz:
| 
| Linz, Austria, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|

» 3D Visualization of Symbolic Execution Traces
|

|

|

|
Autor:
|

|
Jan Zielasko, Sören Tempel, Vladimir Herdt, Rolf Drechsler
|
Konferenz: |

|
Forum on Specification & Design Languages (FDL) |
Referenz:
| 
| Linz, Austria, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|

» SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification
|

|

|

|
Autor:
|

|
Sören Tempel, Vladimir Herdt and Rolf Drechsler |
Konferenz: |

|
Automated Technology for Verification and Analysis (ATVA) |
Referenz:
| 
| Beijing, China, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» Simulation-Based Debugging of Formal Environment Models
|

|

|

|
Autor:
|

|
Tim Meywerk, Arthur Niedzwiecki, Vladimir Herdt and Rolf Drechsler |
Konferenz: |

|
The 30th Mediterranean Conference on Control and Automation (MED) |
Referenz:
| 
| Athen, Griechenland, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» AQuCiDe: Architecture Aware Quantum Circuit Decomposition
|

|

|

|
Autor:
|

|
Soumya Sengupta, Abhoy Kole, Kamalika Datta, Indranil Sengupta and Rolf Drechsler |
Konferenz: |

|
2022 International Symposium on Quantum Computing: Circuits Systems Automation and Applications (QC-CSAA) |
Referenz:
| 
| Knoxville, USA, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» Task Mapping and Scheduling in FPGA-based Heterogeneous Real-time Systems: A RISC-V Case-Study
|

|

|

|
Autor:
|

|
Sallar Ahmadi-Pour, Sangeet Saha, Vladimir Herdt, Rolf Drechsler and Klaus McDonald-Maier |
Konferenz: |

|
Euromicro Conference on Digital System Design (DSD) |
Referenz:
| 
| Gran Canaria, Spain, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» Generation of Verified Programs for In-Memory Computing
|

|

|

|
Autor:
|

|
Saman Froehlich and Rolf Drechsler |
Konferenz: |

|
Euromicro Conference on Digital System Design (DSD) |
Referenz:
| 
| Gran Canaria, Spain, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» Polynomial Formal Verification of Approximate Adders
|

|

|

|
Autor:
|

|
Martha Schnieber, Saman Fröhlich, Rolf Drechsler |
Konferenz: |

|
Euromicro Conference on Digital System Design (DSD) |
Referenz:
| 
| Gran Canaria, Spain, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» SAT-based Exact Synthesis of Ternary Reversible Circuits using a Functionally Complete Gate Library
|

|

|

|
Autor:
|

|
Abhoy Kole, Kamalika Datta, Indranil Sengupta and Rolf Drechsler |
Konferenz: |

|
Euromicro Conference on Digital System Design (DSD) |
Referenz:
| 
| Gran Canaria, Spain, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» Unlocking Sneak Path Analysis in Memristor Based Logic Design Styles
|

|

|

|
Autor:
|

|
Kamalika Datta, Saeideh Shirinzadeh, Phrangboklang Lyngton Thangkhiew, Indranil Sengupta and Rolf Drechsler |
Konferenz: |

|
Euromicro Conference on Digital System Design (DSD) |
Referenz:
| 
| Gran Canaria, Spain, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» Polynomial Formal Verification of Approximate Functions
|

|

|

|
Autor:
|

|
Martha Schnieber, Saman Fröhlich, Rolf Drechsler |
Konferenz: |

|
IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
Referenz:
| 
| Pafos, Cyprus, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» Using density of training data to improve evolutionary algorithms with approximative fitness functions
|

|

|

|
Autor:
|

|
Christina Plump, Bernhard J. Berger, Rolf Drechsler |
Konferenz: |

|
Congress of Evolutionary Computation (CEC) |
Referenz:
| 
| Padua, Italien, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» Advanced Environment Modeling and Interaction in an Open Source RISC-V Virtual Prototype
|

|

|

|
Autor:
|

|
Pascal Pieper, Vladimir Herdt, Rolf Drechsler |
Konferenz: |

|
Great Lakes Symposium on VLSI (GLSVLSI) |
Referenz:
| 
| Irvine, CA, USA, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|

» Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing
|

|

|

|
Autor:
|

|
Niklas Bruns, Vladimir Herdt, Daniel Große, Rolf Drechsler |
Konferenz: |

|
Great Lakes Symposium on VLSI (GLSVLSI) |
Referenz:
| 
| Irvine, CA, USA, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» Adapting mutation and recombination operators to range-aware relations in real-world application data
|

|

|

|
Autor:
|

|
Christina Plump, Bernhard J. Berger, Rolf Drechsler |
Konferenz: |

|
The Genetic and Evolutionary Computation Conference (GECCO Companion) |
Referenz:
| 
| Boston, USA, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|

» Nearest Neighbor Mapping of Quantum Circuits to Two-Dimensional Hexagonal Qubit Architecture
|

|

|

|
Autor:
|

|
Kamalika Datta, Abhoy Kole, Indranil Sengupta, Rolf Drechsler |
Konferenz: |

|
IEEE International Symposium on Multiple-Valued Logic (ISMVL) |
Referenz:
| 
| Virtual Conference, Dallas, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» Polynomial-Time Formal Verification of Adder Circuits for Multiple-Valued Logic
|

|

|

|
Autor:
|

|
Philipp Niemann, Rolf Drechsler |
Konferenz: |

|
IEEE International Symposium on Multiple-Valued Logic (ISMVL) |
Referenz:
| 
| Dallas, USA, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» Formal Verification of Modular Multipliers using Symbolic Computer Algebra and Boolean Satisfiability
|

|

|

|
Autor:
|

|
Alireza Mahzoon, Daniel Große, Christoph Scholl, Alexander Konrad, Rolf Drechsler |
Konferenz: |

|
Design Automation Conference (DAC) |
Referenz:
| 
| San Francisco, USA, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|