
» 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]
|

» 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]
|

» 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]
|

» Verifying SystemC TLM Peripherals using Modern C++ Symbolic Execution Tools
|

|

|

|
Autor:
|

|
Pascal Pieper, Vladimir Herdt, Daniel Große, Rolf Drechsler |
Konferenz: |

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

» Equivalence Checking of System-Level and SPICE-Level Models of Linear Analog Filters
|

|

|

|
Autor:
|

|
Kemal Çağlar Coşkun, Muhammad Hassan, Rolf Drechsler |
Konferenz: |

|
25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
Referenz:
| 
| Prague, Czech Republic, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» Early Performance Estimation of Embedded Software on RISC-V Processor using Linear Regression
|

|

|

|
Autor:
|

|
Weiyan Zhang, Mehran Goli, Rolf Drechsler |
Konferenz: |

|
25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
Referenz:
| 
| Prague, Czech Republic, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» Towards Polynomial Formal Verification of Complex Arithmetic Circuits
|

|

|

|
Autor:
|

|
Rolf Drechsler, Alireza Mahzoon, Mehran Goli |
Konferenz: |

|
25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
Referenz:
| 
| Prague, Czech Republic, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» Virtual Prototype driven Design, Implementation and Evaluation of RISC-V Instruction Set Extensions
|

|

|

|
Autor:
|

|
Milan Funck, Vladimir Herdt, Rolf Drechsler |
Konferenz: |

|
25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
Referenz:
| 
| Prague, Czech Republic, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» ML-based Power Estimation of Convolutional Neural Networks on GPGPUs
|

|

|

|
Autor:
|

|
Christopher Metz, Mehran Goli, Rolf Drechsler |
Konferenz: |

|
25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
Referenz:
| 
| Prague, Czech Republic, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» Quality Assessment of RFET-based Logic Locking Protection Mechanisms using Formal Methods
|

|

|

|
Autor:
|

|
Marcel Merten, Sebastian Huhn, Rolf Drechsler |
Konferenz: |

|
IEEE European Test Symposium (ETS) |
Referenz:
| 
| Barcelona, Spain, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» Choosing the right technique for the right restriction - a domain-specific approach for enforcing search-space restrictions in evolutionary algorithms
|

|

|

|
Autor:
|

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

|
LDIC-2022 |
Referenz:
| 
| Bremen, Germany
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» A Hardware-based Evolutionary Algorithm with Multi-Objective Optimization Operators for On-Chip Transient Fault Detection
|

|

|

|
Autor:
|

|
Marcel Merten, Sebastian Huhn, Rolf Drechsler |
Konferenz: |

|
40th IEEE VLSI Test Symposium (VTS) |
Referenz:
| 
| San Diego, USA, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» The Scale4Edge RISC-V Ecosystem
|

|

|

|
Autor:
|

|
Wolfgang Ecker, Milos Krstic, Andreas Mauderer, Eyck Jentzsch, Mihaela Damian, Julian Oppermann, Andreas Koch, Peer Adelt, Wolfgang Müller, Vladimir Herdt, Rolf Drechsler, Rafael Stahl, Karsten Emrich, Daniel Müller-Gritschneder, Jan Schlamelcher, Kim Grüttner, Jörg Bormann, Wolfgang Kunz, Reinhold Heckmann, Gerhard Angst, Ralf Wimmer, Bernd Becker, Philipp Scholl, Paul Palomero Bernardo, Oliver Bringmann, Johannes Partzsch, Christian Mayr |
Konferenz: |

|
Design, Automation and Test in Europe Conference (DATE) |
Referenz:
| 
| Antwerp, Belgium, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» Cross-Level Processor Verification via Endless Randomized Instruction Stream Generation with Coverage-guided Aging
|

|

|

|
Autor:
|

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

|
Design, Automation and Test in Europe Conference (DATE) |
Referenz:
| 
| Antwerp, Belgium, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» LiM-HDL: HDL-Based Synthesis for In-Memory Computing
|

|

|

|
Autor:
|

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

|
Design, Automation and Test in Europe Conference (DATE) |
Referenz:
| 
| Antwerp, Belgium, 2022
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|

» Polynomial Formal Verification of Arithmetic Circuits
|

|

|

|
Autor:
|

|
Rolf Drechsler, Alireza Mahzoon, Lennart Weingarten |
Konferenz: |

|
International Conference on Computational Intelligence and Data Engineering (ICCIDE) |
Referenz:
| 
| Vijayawada, India, 2021
|
Hyperlink:
| 
| [Link zur Konferenz]
|
PDF:
| 
| [hier ansehen]
|