Homepage Sitemap Contact




Home « Publications « Conferences

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





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



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



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



» Polynomial Word-Level Verification of Arithmetic Circuits




Author:

Mohammed Barhoush, Alireza Mahzoon, Rolf Drechsler
Conference:
International Conference on Formal Methods and Models for System Design (MEMOCODE)
Reference:

Beijing, China, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Toward Optical Probing Resistant Circuits: A Comparison of Logic Styles and Circuit Design Techniques




Author:

Sajjad Parvin , Thilo Krachenfels , Shahin Tajik , Jean-Pierre Seifert , Frank Sill Torres , and Rolf Drechsler
Conference:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Reference:

Taipei, Taiwan, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Automated Detection of Spatial Memory Safety Violations for Constrained Devices




Author:

Sören Tempel, Vladimir Herdt, Rolf Drechsler
Conference:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Reference:

Taipei, Taiwan, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Modeling for Explainability: Ethical Decision-Making in Automated Resource Allocation




Author:

Christina Cociancig, Christoph Lüth, Rolf Drechsler
Conference:
Upper-Rhine Artificial Intelligence Symposium (UR-AI 2021)
Reference:

Kaiserslautern, Germany, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Polynomial Formal Verification of Prefix Adders




Author:

Alireza Mahzoon, Rolf Drechsler
Conference:
Asian Test Symposium (ATS)
Reference:

Virtual Conference, Japan, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» A Codeword-based Compactor for On-Chip Generated Debug Data Using Two-Stage Artificial Neural Networks




Author:

Marcel Merten, Sebastian Huhn, Rolf Drechsler
Conference:
34th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)
Reference:

Athens, Greece, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Early Validation of SoCs Security Architecture Against Timing Flows Using SystemC-based VPs




Author:

Mehran Goli, Rolf Drechsler
Conference:
International Conference on Computer Aided Design (ICCAD)
Reference:

Munich, Germany, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Metamorphic Testing for Processor Verification: A RISC-V Case Study at the Instruction Level




Author:

Frank Riese, Vladimir Herdt, Daniel Große, Rolf Drechsler
Conference:
IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)
Reference:

Virtual Conference, Singapore, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» RISC-V AMS VP: An Open Source Evaluation Platform for Cyber-Physical Systems




Author:

Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler
Conference:
Forum on Specification & Design Languages (FDL)
Reference:

Antibes, France, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» VIP-VP: Early Validation of SoCs Information Flow Policies using SystemC-based Virtual Prototypes




Author:

Mehran Goli, Rolf Drechsler
Conference:
Forum on Specification & Design Languages (FDL)
Reference:

Antibes, France, 2021
Best Paper Award
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes




Author:

Sören Tempel, Vladimir Herdt, Rolf Drechsler
Conference:
Forum on Specification & Design Languages (FDL)
Reference:

Antibes, France, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Work-in-Progress: Early Power Estimation of CUDA-based CNNs on GPGPUs




Author:

Christopher Metz, Mehran Goli, Rolf Drechsler
Conference:
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Reference:

VIRTUAL CONFERENCE, 2021
Hyperlink:

[Link to the Conference]



» Minimally Invasive HW/SW Co-debug Live Visualization on Architecture Level




Author:

Pascal Pieper, Ralf Wimmer, Gerhard Angst, Rolf Drechsler
Conference:
31st ACM Great Lakes Symposium on VLSI (GLSVLSI)
Reference:

Virtual Conference, 2021
Hyperlink:

[Link to the Conference]
PDF:

[click here]



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

[click here]



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

[click here]



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




older entries in the archive







Deutsch







Sitemap Kontakt

ISMVL2014 DUHDE