Homepage Sitemap Contact




Home « Publications « Conferences

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





» Finding Optimal Implementations of Non-native CNOT Gates using SAT




Author:

Philipp Niemann, Luca Müller, Rolf Drechsler
Conference:
Reversible Computation (RC)
Reference:

Nagoya, Japan, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Combining SWAPs and Remote CNOT Gates for Quantum Circuit Transformation




Author:

Philipp Niemann, Luca Müller, Rolf Drechsler
Conference:
Euromicro Conference on Digital System Design (DSD)
Reference:

Palermo, Sicily, Italy, 2021
Hyperlink:

[Link to the Conference]



» Automated Debugging-Aware Visualization Technique for SystemC HLS Designs




Author:

Mehran Goli, Alireza Mahzoon, Rolf Drechsler
Conference:
Euromicro Conference on Digital System Design (DSD)
Reference:

Palermo, Sicily, Italy, 2021
Hyperlink:

[Link to the Conference]



» ALF – A Fitness-Based Artificial Life Form for Evolving Large-Scale Neural Networks




Author:

Rune Krauss, Marcel Merten, Mirco Bockholt, Rolf Drechsler
Conference:
The Genetic and Evolutionary Computation Conference (GECCO)
Reference:

Lille, France, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Optimization-based Test Scheduling for IEEE 1687 Multi-Power Domain Networks Using Boolean Satisfiability




Author:

Payam Habiby, Sebastian Huhn, Rolf Drechsler
Conference:
28th IEEE International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS)
Reference:

Apulia, Italy, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Synthesis of Asymptotically Optimal Adders for Multiple-Valued Logic




Author:

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

Nursultan, Kazakhstan, 2021
Hyperlink:

[Link to the Conference]
Recording:

[Link to the Recording]
PDF:

[click here]



» Depth Optimized Synthesis of Symmetric Boolean Functions




Author:

Martha Schnieber, Saman Fröhlich, Rolf Drechsler
Conference:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Reference:

Tampa, Florida, USA, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Domain-driven correlation-aware recombination and mutation operators for complex real-world applications




Author:

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

Kraków, Poland, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Improving evolutionary algorithms by enhancing an approximative fitness function through prediction intervals




Author:

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

Krakow, Poland, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» PolyAdd: Polynomial Formal Verification of Adder Circuits




Author:

Rolf Drechsler
Conference:
24th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Reference:

Vienna, Austria, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing




Author:

Sören Tempel, Vladimir Herdt, Rolf Drechsler
Conference:
Design Automation Conference (DAC)
Reference:

San Francisco, USA, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Late Breaking Results: Polynomial Formal Verification of Fast Adders




Author:

Alireza Mahzoon, Rolf Drechsler
Conference:
Design Automation Conference (DAC)
Reference:

San Francisco, USA, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» XbNN: Enabling CNNs on Edge Devices by Approximate On-Chip Dot Product Encoding




Author:

Lucas Klemmer, Saman Fröhlich, Rolf Drechsler, Daniel Große
Conference:
IEEE International Symposium on Circuits & Systems (ISCAS)
Reference:

Daegu, Korea, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Performance Aspects of Correctness-oriented Synthesis Flows




Author:

Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
Conference:
Int’l Conf. on Model-Driven Engineering and Software Development (MODELSWARD)
Reference:

2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Vertical IP Protection of the Next-Generation Devices: Quo Vadis?




Author:

Shubham Rai, Siddharth Garg, Christian Pilato, Vladimir Herdt, Elmira Moussavi, Dominik Sisejkovic, Ramesh Karri, Rolf Drechsler, Farhad Merchant, Akash Kumar
Conference:
Design, Automation and Test in Europe Conference (DATE)
Reference:

Grenoble, France, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Nano Security: From Nano-Electronics to Secure Systems




Author:

Ilia Polian, Frank Altmann, Tolga Arul, Christian Boit, Ralf Brederlow, Lucas Davi, Rolf Drechsler, Nan Du, Thomas Eisenbarth, Tim Güneysu, Sascha Hermann, Matthias Hiller, Rainer Leupers, Farhad Merchant, Thomas Mussenbrock, Stefan Katzenbeisser, Akash Kumar, Wolfgang Kunz, Thomas Mikolajick, Vivek Pachauri, Jean-Pierre Seifert, Frank Sill Torres, Jens Trommer
Conference:
Design, Automation and Test in Europe Conference (DATE)
Reference:

Grenoble, France, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Combining SWAPs and Remote Toffoli Gates in the Mapping to IBM QX Architectures




Author:

Philipp Niemann, Chandan Bandyopadhyay, Rolf Drechsler
Conference:
Design, Automation and Test in Europe Conference (DATE)
Reference:

Grenoble, France, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization




Author:

Christoph Scholl, Alexander Konrad, Alireza Mahzoon, Daniel Große, Rolf Drechsler
Conference:
Design, Automation and Test in Europe Conference (DATE)
Reference:

Grenoble, France, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes




Author:

Sören Tempel, Vladimir Herdt, Rolf Drechsler
Conference:
Design, Automation and Test in Europe Conference (DATE)
Reference:

Grenoble, France, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» System Level verification of Phase-Locked Loop using Metamorphic Relations




Author:

Muhammad Hassan, Daniel Große, Rolf Drechsler
Conference:
Design, Automation and Test in Europe Conference (DATE)
Reference:

Grenoble, France, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]




older entries in the archive







Deutsch







Sitemap Kontakt

ISMVL2014 DUHDE