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