Homepage Sitemap Contact




Home « Publications « Conferences

sort: [ Title ] [ Author ] [ Conferences ] [ Reference ]
search:





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




Author:

Christina Plump, Bernhard J. Berger, Rolf Drechsler
Conference:
Congress of Evolutionary Computation (CEC)
Reference:

Padua, Italien, 2022
Hyperlink:

[Link to the Conference]



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




Author:

Pascal Pieper, Vladimir Herdt, Rolf Drechsler
Conference:
Great Lakes Symposium on VLSI (GLSVLSI)
Reference:

Irvine, CA, USA, 2022
Hyperlink:

[Link to the Conference]



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




Author:

Niklas Bruns, Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
Great Lakes Symposium on VLSI (GLSVLSI)
Reference:

Irvine, CA, USA, 2022
Hyperlink:

[Link to the Conference]



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




Author:

Christina Plump, Bernhard J. Berger, Rolf Drechsler
Conference:
The Genetic and Evolutionary Computation Conference (GECCO Companion)
Reference:

Boston, USA, 2022
Hyperlink:

[Link to the Conference]



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




Author:

Kamalika Datta, Abhoy Kole, Indranil Sengupta, Rolf Drechsler
Conference:
IEEE International Symposium on Multiple-Valued Logic (ISMVL)
Reference:

Virtual Conference, Dallas, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



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




Author:

Philipp Niemann, Rolf Drechsler
Conference:
IEEE International Symposium on Multiple-Valued Logic (ISMVL)
Reference:

Dallas, USA, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



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




Author:

Alireza Mahzoon, Daniel Große, Christoph Scholl, Alexander Konrad, Rolf Drechsler
Conference:
Design Automation Conference (DAC)
Reference:

San Francisco, USA, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



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




Author:

Pascal Pieper, Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
Design Automation Conference (DAC)
Reference:

San Francisco, USA, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



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




Author:

Kemal Çağlar Coşkun, Muhammad Hassan, Rolf Drechsler
Conference:
25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Reference:

Prague, Czech Republic, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



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




Author:

Weiyan Zhang, Mehran Goli, Rolf Drechsler
Conference:
25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Reference:

Prague, Czech Republic, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Towards Polynomial Formal Verification of Complex Arithmetic Circuits




Author:

Rolf Drechsler, Alireza Mahzoon, Mehran Goli
Conference:
25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Reference:

Prague, Czech Republic, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



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




Author:

Milan Funck, Vladimir Herdt, Rolf Drechsler
Conference:
25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Reference:

Prague, Czech Republic, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



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




Author:

Christopher Metz, Mehran Goli, Rolf Drechsler
Conference:
25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Reference:

Prague, Czech Republic, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



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




Author:

Marcel Merten, Sebastian Huhn, Rolf Drechsler
Conference:
IEEE European Test Symposium (ETS)
Reference:

Barcelona, Spain, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



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




Author:

Christina Plump, Bernhard Berger, Rolf Drechsler
Conference:
LDIC-2022
Reference:

Bremen, Germany
Hyperlink:

[Link to the Conference]
PDF:

[click here]



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




Author:

Marcel Merten, Sebastian Huhn, Rolf Drechsler
Conference:
40th IEEE VLSI Test Symposium (VTS)
Reference:

San Diego, USA, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» The Scale4Edge RISC-V Ecosystem




Author:

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
Conference:
Design, Automation and Test in Europe Conference (DATE)
Reference:

Antwerp, Belgium, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



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




Author:

Niklas Bruns, Vladimir Herdt, Eyck Jentzsch, Rolf Drechsler
Conference:
Design, Automation and Test in Europe Conference (DATE)
Reference:

Antwerp, Belgium, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



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




Author:

Saman Fröhlich, Rolf Drechsler
Conference:
Design, Automation and Test in Europe Conference (DATE)
Reference:

Antwerp, Belgium, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Polynomial Formal Verification of Arithmetic Circuits




Author:

Rolf Drechsler, Alireza Mahzoon, Lennart Weingarten
Conference:
International Conference on Computational Intelligence and Data Engineering (ICCIDE)
Reference:

Vijayawada, India, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]




older entries in the archive







Deutsch







Sitemap Kontakt

ISMVL2014 DUHDE