CorrectBench: Automatic Testbench Generation with Functional Self-Correction using LLMs for HDL Design
Autor: Ruidi Qiu, Grace Li Zhang, Rolf Drechsler, Ulf Schlichtmann and Bing Li
Konferenz:
Design, Automation and Test in Europe Conference (DATE)
Referenz: Lyon, France, 2025
True-PolyTronik: Securing Circuits Against Laser Logic State Imaging Attack Using RFET
Autor: Sajjad Parvin, Chandan Kumar Jha, Frank Sill Torres, and Rolf Drechsler
Konferenz:
International Conference on VLSI Design
Pdf | Referenz: Bangalore, India, 2025
FARAD: Automated Formal Verification of Approximate Restoring Array Dividers
Autor: Chandan Kumar Jha, Khushboo Qayyum, Muhammad Hassan, and Rolf Drechsler
Konferenz:
International Conference on VLSI Design
Pdf | Referenz: Bangalore, India, 2025
LLMs for Hardware Verification: Frameworks, Techniques, and Future Directions
Autor: Khushboo Qayyum, Sallar Ahmadi-Pour, Chandan Kumar Jha, Muhammad Hassan, Rolf Drechsler
Konferenz:
IEEE Asian Test Symposium (ATS)
Pdf | Referenz: Ahmedabad, India, 2024
Towards Formal Verification for MAC-based In-Memory Computing
Autor: Fatemeh Shirinzadeh, Kamalika Datta, Saeideh Shirinzadeh, Abhoy Kole, Rolf Drechsler
Konferenz:
IEEE Asian Test Symposium (ATS)
Referenz: Ahmedabad, India, 2024
Improving Self-Fault-Tolerance Capability of Memristor Crossbar Using a Weight-Sharing Approach
Autor: Dev Narayan Yadav, Phrangboklang Lyngton Thangkhiew, F Lalchhandama, Kamalika Datta, Rolf Drechsler, Indranil Sengupta
Konferenz:
IEEE Asian Test Symposium (ATS)
Pdf | Referenz: Ahmedabad, India, 2024
Exploring the Potential of Dynamic Quantum Circuit for Improving Device Scalability
Autor: Abhoy Kole, Kamalika Datta, Rolf Drechsler
Konferenz:
IEEE International System-on-Chip Conference
Referenz: Dresden, Germany, 2024
Let’s Brainstorm: Personalized Chatbot Prototype as Creativity Partner in Idea Crowdsourcing Platforms
Autor: Sana Hassan Imam, Rolf Drechsler
Konferenz:
Diginomics Summer Conference
Pdf | Referenz: Bremen, Germany, 2024
From Bugs to Fixes: HDL Bug Identification and Patching using LLMs and RAG
Autor: Khushboo Qayyum, Muhammad Hassan, Sallar Ahmadi-Pour, Chandan Kumar Jha, Rolf Drechsler
Konferenz:
LLM-Aided Design, 2024 (LAD)
Pdf | Referenz: San Jose, CA, USA, 2024
EvoAl — Codeless Domain-Optimisation
Autor: Bernhard J. Berger, Christina Plump, Lauren Paul, Rolf Drechsler
Konferenz:
GECCO Companion
Pdf | Referenz: Melbourne, Australia, 2024
Finding the perfect MRI sequence for your patient --- Towards an optimisation workflow for MRI-sequences
Autor: Christina Plump, Daniel C. Hoinkiss, Jörn Huber, Bernhard J. Berger, Matthias Günther, Christoph Lüth, Rolf Drechsler
Konferenz:
CEC 2024, at IEEE WCCI 2024
Pdf | Referenz: Yokohama, Japan, 2024
Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification
Autor: Khushboo Qayyum, Abhoy Kole, Kamalika Datta, Muhammad Hassan, Rolf Drechsler
Konferenz:
Great Lakes Symposium on VLSI (GLSVLSI)
Pdf | Referenz: Tempa Bay Area, Florida, USA , 2024
Late Breaking Results: LLM-assisted Automated Incremental Proof Generation for Hardware Verification
Autor: Khushboo Qayyum, Muhammad Hassan, Sallar Ahmadi-Pour, Chandan Kumar Jha, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Pdf | Referenz: San Francisco, USA, 2024
Efficient Equivalence Checking of Nonlinear Analog Circuits using Gradient Ascent
Autor: Kemal Çağlar Coşkun, Muhammad Hassan, Lars Hedrich, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Pdf | Referenz: San Francisco, USA, 2024
Polynomial Formal Verification of Approximate Adders with Constant Cutwidth
Autor: Mohamed Nadeem, Chandan Kumar Jha, Rolf Drechsler
Konferenz:
IEEE European Test Symposium (ETS)
Pdf | Referenz: The Hague, Netherlands, 2024
A Multi-Objective Evolutionary Approach for Test Network Design.
Autor: Payam Habiby, Fatemeh Shirinzadeh, Sebastian Huhn, Rolf Drechsler
Konferenz:
IEEE European Test Symposium (ETS)
Referenz: The Hague, Netherlands, 2024
In-Memory SAT-Solver for Self-Verification of Programmable Memristive Architectures
Autor: Fatemeh Shirinzadeh, Arighna Deb, Saeideh Shirinzadeh, Abhoy Kole, Kamalika Datta and Rolf Drechsler
Konferenz:
International Conference on VLSI Design (VLSID)
Pdf | Referenz: Kolkata, India, 2024
Experimental Validation of Memristor-Aided Logic Using 1T1R TaOx RRAM Crossbar Array
Autor: Ankit Bende, Simranjeet Singh, Chandan Kumar Jha, Tim Kempen, Felix Cüppers, Christopher Bengel, Andre Zambanini, Dennis Nielinger, Sachin Patkar, Rolf Drechsler, Rainer Waser, Farhad Merchant, Vikas Rana
Konferenz:
International Conference on VLSI Design (VLSID)
Pdf | Referenz: Kolkata, India, 2024
A Dynamic Programming Based Graph Traversal Approach for Efficient Implementation of Nearest Neighbor Architecture in 2D
Autor: Sneha Lahiri, Megha Kesh, Rupsa Mandal, Sovan Bhattacharya, Anirban Bhattacharjee, Dola Sinha, Chandan Bandyopadhyay, Hafizur Rahaman, Rolf Drechsler, Robert Wille
Konferenz:
International Conference on VLSI Design (VLSID)
Referenz: Kolkata, India, 2024
MemSPICE: Automated Simulation and Energy Estimation Framework for MAGIC-Based Logic-in-Memory
Autor: Simranjeet Singh, Chandan Kumar Jha, Ankit Bende, Vikas Rana, Sachin Patkar, Rolf Drechsler, Farhad Merchant
Konferenz:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Referenz: Incheon Songdo Convensia, South Korea, 2024
Aktuelle Entwicklungen und Perspektiven (an Hochschulen) im Bereich Data Science
Autor: Lena Steinmann, Dirk Nowotka, Lea Oberländer , Helen Pfuhl, Heiner Stuckenschmidt, Rolf Drechsler
Konferenz:
INFORMATIK 2023
Referenz: Berlin, Deutschland, 2023
Das Data Science Center an der Universität Bremen: Interdisziplinärer Knotenpunkt und Service-Infrastruktur für die datenintensive Forschung
Autor: Lena Steinmann, Heike Thöricht, Sandra Zänkert, Rolf Drechsler
Konferenz:
E-Science-Tage 2023
Pdf | Referenz: Heidelberg, Deutschland, 2023
Hidden in Plain Sight: A Detailed Investigation of Selectively Increasing Local Density to Camouflage and Robustify Against Optical Probing Attacks
Autor: Sajjad Parvin, Chandan Kumar Jha, Sallar Ahmadi-Pour, Frank Sill Torres, and Rolf Drechsler
Konferenz:
IEEE International Test Conference India (ITC India)
Pdf | Referenz: Bengaluru, India, 2023
Hybrid PTX Analysis for GPU accelerated CNN inferencing aiding Computer Architecture Design
Autor: Christopher Metz, Christina Plump, Bernhard J. Berger, Rolf Drechsler
Konferenz:
Forum on Specification & Design Languages (FDL)
Pdf | Referenz: Turin, Italy, 2023
Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models
Autor: Sören Tempel, Tobias Brandt, Christoph Lüth, Rolf Drechsler
Konferenz:
Forum on Specification & Design Languages (FDL)
Pdf | Referenz: Turin, Italy, 2023
Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal Verification
Autor: Milan Funck, Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler
Konferenz:
Forum on Specification & Design Languages (FDL)
Pdf | Referenz: Turin, Italy, 2023
LAT-UP: Exposing Layout-Level Analog Hardware Trojans Using Contactless Optical Probing
Autor: Sajjad Parvin, Mehran Goli, Thilo Krachenfels, Shahin Tajik, Jean-Pierre Seifert, Frank Sill Torres, Rolf Drechsler
Konferenz:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Pdf | Referenz: Iguazu Falls, Brazil, 2023
Verification of In-Memory Logic Design Using ReRAM Crossbars
Autor: Kamalika Datta, Arighna Deb, Fatemeh Shirinzadeh, Abhoy Kole, Saeideh Shirinzadeh, Rolf Drechsler
Konferenz:
IEEE Interregional NEWCAS Conference (NEWCAS)
Pdf | Referenz: Edinburgh, Scotland, 2023
Finite State Automata Design using 1T1R ReRAM Crossbar
Autor: Simranjeet Singh, Omar Ghazal, Chandan Kumar Jha, Vikas Rana, Rolf Drechsler, Rishad Shafik, Alex Yakovlev, Sachin Patkar, Farhad Merchant
Konferenz:
IEEE Interregional NEWCAS Conference (NEWCAS)
Pdf | Referenz: Edinburgh, Scotland, 2023
Synthesis of IJTAG Networks for Multi-Power Domain Systems on Chips
Autor: Payam Habiby, Natalia Lylina, Chih-Hao Wang, Hans-Joachim Wunderlich, Sebastian Huhn, Rolf Drechsler
Konferenz:
IEEE European Test Symposium (ETS)
Pdf | Referenz: Venice, Italy, 2023
Increasing SAT-Resilience of Logic Locking Mechanisms using Formal Methods
Autor: Marcel Merten, Sebastian Huhn, Rolf Drechsler
Konferenz:
IEEE European Test Symposium (ETS)
Pdf | Referenz: Venice, Italy, 2023
A Novel LBIST Signature Computation Method for Automotive Microcontrollers using a Digital Twin
Autor: Daniel Tille, Leon Klimasch, Sebastian Huhn
Konferenz:
41st IEEE VLSI Test Symposium (VTS)
Pdf | Referenz: San Diego, USA, 2023
Design Enablement Flow for Circuits with Inherent
Obfuscation based on Reconfigurable Transistors
Autor: Jens Trommer, Niladri Bhattacharjee, Thomas Mikolajick, Sebastian Huhn, Marcel Merten, Mohammed E. Djeridane, Muhammad Hassan, Rolf Drechsler, Shubham Rai, Nima Kavand, Armin Darjani, Akash Kumar, Violetta Sessi, Maximilian Drescher, Sabine Kolodinski and Maciej Wiatr
Konferenz:
Design, Automation and Test in Europe Conference (DATE)
Pdf | Referenz: Antwerp, Belgium, 2023
Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization
Autor: Alexander Konrad, Christoph Scholl, Alireza Mahzoon, Daniel Große, Rolf Drechsler
Konferenz:
Formal Methods in Computer-Aided Design (FMCAD)
Pdf | Referenz: Trento, Italy, 2022
Next Generation Design For Testability, Debug and
Reliability Using Formal Techniques
Autor: Sebastian Huhn and Rolf Drechsler
Konferenz:
International Test Conference (ITC)
Pdf | Referenz: Anaheim, CA, USA, 2022
Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge Device
Autor: Alexander Fratzer, Vladimir Herdt, Christoph Lüth, Rolf Drechsler
Konferenz:
Forum on Specification & Design Languages (FDL)
Pdf | Referenz: Linz, Austria, 2022
Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification
Autor: Niklas Bruns, Vladimir Herdt, Rolf Drechsler
Konferenz:
Forum on Specification & Design Languages (FDL)
Pdf | Referenz: Linz, Austria, 2022
Task Mapping and Scheduling in FPGA-based Heterogeneous Real-time Systems: A RISC-V Case-Study
Autor: Sallar Ahmadi-Pour, Sangeet Saha, Vladimir Herdt, Rolf Drechsler and Klaus McDonald-Maier
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Pdf | Referenz: Gran Canaria, Spain, 2022
SAT-based Exact Synthesis of Ternary Reversible Circuits using a Functionally Complete Gate Library
Autor: Abhoy Kole, Kamalika Datta, Indranil Sengupta and Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Pdf | Referenz: Gran Canaria, Spain, 2022
Unlocking Sneak Path Analysis in Memristor Based Logic Design Styles
Autor: Kamalika Datta, Saeideh Shirinzadeh, Phrangboklang Lyngton Thangkhiew, Indranil Sengupta and Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Pdf | Referenz: Gran Canaria, Spain, 2022
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)
Pdf | Referenz: Padua, Italien, 2022
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
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)
Pdf | Referenz: Irvine, CA, USA, 2022
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)
Pdf | Referenz: San Francisco, USA, 2022
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)
Pdf | Referenz: San Francisco, USA, 2022
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)
Pdf | Referenz: Barcelona, Spain, 2022
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
Pdf | Referenz: Bremen, Germany
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)
Pdf | Referenz: San Diego, USA, 2022
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)
Pdf | Referenz: Antwerp, Belgium, 2022
Toward Optical Probing Resistant Circuits: A Comparison of Logic Styles and
Circuit Design Techniques
Autor: Sajjad Parvin, Thilo Krachenfels, Shahin Tajik, Jean-Pierre Seifert, Frank Sill Torres and Rolf Drechsler
Konferenz:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Pdf | Referenz: Taipei, Taiwan, 2022
Polynomial Formal Verification of Prefix Adders
Autor: Alireza Mahzoon, Rolf Drechsler
Konferenz:
Asian Test Symposium (ATS)
Pdf | Referenz: Virtual Conference, Japan, 2021
In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes
Autor: Sören Tempel, Vladimir Herdt, Rolf Drechsler
Konferenz:
Forum on Specification & Design Languages (FDL)
Pdf | Referenz: Antibes, France, 2021
Finding Optimal Implementations of Non-native CNOT Gates using SAT
Autor: Philipp Niemann, Luca Müller, Rolf Drechsler
Konferenz:
Reversible Computation (RC)
Pdf | Referenz: Nagoya, Japan, 2021
Domain-driven correlation-aware recombination and mutation operators for complex real-world applications
Autor: Christina Plump, Bernhard J. Berger, Rolf Drechsler
Konferenz:
IEEE Congress on Evolutionary Computation (CEC)
Pdf | Referenz: Kraków, Poland, 2021
Improving evolutionary algorithms by enhancing an approximative fitness function through prediction intervals
Autor: Christina Plump, Bernhard J. Berger, Rolf Drechsler
Konferenz:
IEEE Congress on Evolutionary Computation (CEC)
Pdf | Referenz: Krakow, Poland, 2021
Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing
Autor: Sören Tempel, Vladimir Herdt, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Pdf | Referenz: San Francisco, USA, 2021
Late Breaking Results: Polynomial Formal Verification of Fast Adders
Autor: Alireza Mahzoon, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Pdf | Referenz: San Francisco, USA, 2021
Vertical IP Protection of the Next-Generation Devices: Quo Vadis?
Autor: Shubham Rai, Siddharth Garg, Christian Pilato, Vladimir Herdt, Elmira Moussavi, Dominik Sisejkovic, Ramesh Karri, Rolf Drechsler, Farhad Merchant, Akash Kumar
Konferenz:
Design, Automation and Test in Europe Conference (DATE)
Pdf | Referenz: Grenoble, France, 2021
Nano Security: From Nano-Electronics to Secure Systems
Autor: 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
Konferenz:
Design, Automation and Test in Europe Conference (DATE)
Pdf | Referenz: Grenoble, France, 2021
Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study
Autor: Vladimir Herdt, Daniel Große, Eyck Jentzsch, Rolf Drechsler
Konferenz:
Forum on Specification & Design Languages (FDL)
Pdf | Referenz: Kiel, Germany, 2020
Best Paper Award
ToPoliNano and fiction: Design Tools for Field-coupled Nanocomputing
Autor: Umberto Garlando, Marcel Walter, Robert Wille, Fabrizio Riente, Frank Sill Torres, Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Pdf | Referenz: Portorož, Slowenien, 2020
Design Space Exploration in the Mapping of Reversible Circuits to IBM Quantum Computers
Autor: Philipp Niemann, Alexandre A. A. de Almeida, Gerhard Dueck, Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Pdf | Referenz: Portorož, Slowenien, 2020
Combining Machine Learning and Formal Techniques for Small Data Applications - A Framework to Explore New Structural Materials
Autor: Rolf Drechsler, Sebastian Huhn, Christina Plump
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Pdf | Referenz: Portorož, Slowenien, 2020
Bail on Balancing: An Alternative Approach to the Physical Design of Field-coupled Nanocomputing Circuits
Autor: Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler
Konferenz:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Pdf | Referenz: Limassol, Cyprus, 2020
Best Paper Candidate
Verification of Embedded Binaries using Coverage-guided Fuzzing with SystemC-based Virtual Prototypes
Autor: Vladimir Herdt, Daniel Große, Jonas Wloka, Tim Güneysu, Rolf Drechsler
Konferenz:
30th ACM Great Lakes Symposium on VLSI (GLSVLSI)
Pdf | Referenz: Beijing, China, 2020
Closing the RISC-V Compliance Gap: Looking from the Negative Testing Side
Autor: Vladimir Herdt, Daniel Große, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Pdf | Referenz: San Francisco, USA, 2020
Dynamic Information Flow Tracking for Embedded Binaries using SystemC-based Virtual Prototypes
Autor: Pascal Pieper, Vladimir Herdt, Daniel Große, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Pdf | Referenz: San Francisco, USA, 2020
Verification for Field-coupled Nanocomputing Circuits
Autor: Marcel Walter,
Robert Wille,
Frank Sill Torres,
Daniel Große,
Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Pdf | Referenz: San Francisco, USA, 2020
Efficient Implementation of Nearest Neighbor Quantum Circuits Using Clustering with Genetic Algorithm
Autor: Anirban Bhattacharjee, Chandan Bandyopadhyay, Angshu Mukherjee, Robert Wille, Rolf Drechsler, Hafizur Rahaman
Konferenz:
50th International Symposium on Multiple-Valued Logic (ISMVL)
Pdf | Referenz: Miyazaki, Japan, 2020
Ensuring Correctness of Next Generation Devices: From Reconfigurable to Self-Learning Systems
Autor: Rolf Drechsler, Daniel Große
Konferenz:
Asian Test Symposium (ATS)
Pdf | Referenz: Kolkata, India, 2019
A Hybrid Embedded Multichannel Test Compression Architecture for Low-Pin Count Test Environments in Safety-Critical Systems
Autor: Sebastian Huhn, Daniel Tille, Rolf Drechsler
Konferenz:
International Test Conference in Asia (ITC-Asia)
Pdf | Referenz: Tokyo, Japan, 2019
Functional Coverage-Driven Characterization of RF Amplifiers
Autor: Muhammad Hassan, Daniel Große, Thilo Vörtler, Karsten Einwich and Rolf Drechsler
Konferenz:
Forum on specification & Design Languages (FDL)
Pdf | Referenz: Southampton, United Kingdom, 2019
Best Paper Candidate
Systematic RISC-V based Firmware Design
Autor: Vladimir Herdt, Daniel Große, Rolf Drechsler, Christoph Gerum, Alexander Jung, Joscha-Joel Benz, Oliver Bringmann, Michael Schwarz, Dominik Stoffel, Wolfgang Kunz
Konferenz:
Forum on specification & Design Languages (FDL)
Pdf | Referenz: Southampton, United Kingdom, 2019
Towards Formal Verification of Plans for Cognition-enabled Autonomous Robotic Agents
Autor: Tim Meywerk, Marcel Walter, Vladimir Herdt, Daniel Große, Rolf Drechsler
Konferenz:
EUROMICRO Digital System Design Conference (DSD)
Pdf | Referenz: Kallithea - Chalkidiki, Greece, 2019
Temporal Tracing of On-Chip Signals using Timeprints
Autor: Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer and Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Pdf | Referenz: Las Vegas, USA, 2019
RevSCA: Using Reverse Engineering to Bring Light into Backward Rewriting for Big and Dirty Multipliers
Autor: Alireza Mahzoon, Daniel Große, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Pdf | Referenz: Las Vegas, USA, 2019
Early Concolic Testing of Embedded Binaries with Virtual Prototypes: A RISC-V Case Study
Autor: Vladimir Herdt, Daniel Große, Hoang M. Le, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Pdf | Referenz: Las Vegas, USA, 2019
ComPRIMe: A Compiler for Parallel and Scalable ReRAM-based In-Memory Computing
Autor: Steffen Frerix,
Saeideh Shirinzadeh,
Saman Fröhlich,
Rolf Drechsler
Konferenz: International Symposium on Nanoscale Architectures (NanoArch 2019)
Pdf | Referenz: Qingdao, China, 2019
Ignore Clocking Constraints: An Alternative Physical Design Methodology for Field-coupled Nanotechnologies
Autor: Robert Wille, Marcel Walter, Frank Sill Torres, Daniel Große, Rolf Drechsler
Konferenz:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Pdf | Referenz: Miami, Florida, USA, 2019
Improved Look-ahead Approaches for Nearest Neighbor Synthesis of 1D Quantum Circuits
Autor: Anirban Bhattacharjee, Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler and Hafizur Rahaman
Konferenz:
International Conference on VLSI Design (VLSI Design)
Pdf | Referenz: Florida, USA, 2019
Hybrid Architecture for Embedded Test Compression to Process Rejected Test Patterns
Autor: Sebastian Huhn, Daniel Tille, Rolf Drechsler
Konferenz:
IEEE European Test Symposium (ETS)
Pdf | Referenz: Baden Baden, Germany, 2019
Machine Learning-based Prediction of Test Power
Autor: Harshad Dhotre, Stephan Eggersglüß, Krishnendu Chakrabarty, Rolf Drechsler
Konferenz:
IEEE European Test Symposium (ETS)
Pdf | Referenz: Baden Baden, Germany, 2019
One Method - All Error-Metrics: A Three-Stage Approach for Error-Metric Evaluation in Approximate Computing
Autor: Saman Fröhlich, Daniel Große, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: Florence, Italy, 2019
Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing
Autor: Hoang M. Le, Daniel Große, Niklas Bruns, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: Florence, Italy, 2019
Better Late Than Never: Verification of Embedded Systems After Deployment
Autor: Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: Florence, Italy, 2019
Multi-Objective Synthesis of Quantum Circuits Using Genetic Programming
Autor: Moein Sarvaghad-Moghaddam, Philipp Niemann, Rolf Drechsler
Konferenz:
Reversible Computation
Pdf | Referenz: pp. 220-227, Leicester, UK, 2018
Design criteria of a thermal mass flow sensor for aircraft air data applications
Autor: Lucas C. Ribeiro, Rubens A. Souza, Michael Lopes Oliveira, S.P.L. Vieira, W.O. Avelino, Clarice F.R. Oliveira, Davies Wiliiam de Lima Monteiro, Frank Sill Torres, Roana M.O. Hansen
Konferenz:
31st Congress of the International Council of the Aeronautical Sciences (ICAS 2018)
Pdf | Referenz: Belo Horizonte, Brazil, 2018
Exploration of the Synchronization Constraint in Quantum-dot Cellular Automata
Autor: Frank Sill Torres, Pedro A. Silva, Geraldo Fontes, José Augusto M. Nacif, Ricardo Santos Ferreira,
Omar Paranaiba Vilela Neto, Jeferson F. Chaves, Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Pdf | Referenz: Prague, Czech Republic, 2018
Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata
Autor: Frank Sill Torres, Robert Wille, Marcel Walter, Philipp Niemann, Daniel Große, Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Pdf | Referenz: pp. 649-656, Prague, Czech Republic, 2018
On overcoming photodetector saturation due to background illumination while maintaining high sensitivity by means of a tailored CMOS pixel
Autor: Pablo Nunes Agra Belmonte, Lucas Chaves, Frank Sill Torres, Davies William de Lima Monteiro
Konferenz:
Global LiFi Congress
Pdf | Referenz: Paris, France, 2018
Combining Symbolic Computer Algebra and Boolean Satisfiability for Automatic Debugging and Fixing of Complex Multipliers
Autor: Alireza Mahzoon, Daniel Große, Rolf Drechsler
Konferenz:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Pdf | Referenz: pp. 351-356, Hong Kong SAR, China, 2018
Towards Dynamic Execution Environment for System Security Protection against Hardware Flaws
Autor: Kenneth Schmitz, Oliver Keszöcze, Jurij Schmidt, Daniel Große, Rolf Drechsler
Konferenz:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Pdf | Referenz: pp. 557-562, Hong Kong SAR, China, 2018
SAT-Lancer: A Hardware SAT-Solver for Self-Verification
Autor: Buse Ustaoglu, Sebastian Huhn, Daniel Große, Rolf Drechsler
Konferenz:
28th ACM Great Lakes Symposium on VLSI (GLVLSI)
Pdf | Referenz: pp. 479-482, Chicago, Illinois, USA, 2018
Received Best Poster Award
Confident Leakage Assessment - A Side-Channel
Evaluation Framework based on Confidence Intervals
Autor: Florian Bache, Christina Plump, Tim Güneysu
Konferenz:
Design, Automation and Test in Europe (DATE)
Referenz: Dresden, Germany, 2018
Resiliency Evaluation via Symbolic Fault Injection on Intermediate Code
Autor: Hoang M. Le, Vladimir Herdt, Daniel Große, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: pp. 845-850, Dresden, Germany, 2018
Testbench Qualification for SystemC-AMS Timed
Data Flow Models
Autor: Muhammad Hassan, Daniel Große, Hoang M. Le, Thilo Vörtler, Karsten Einwich, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: pp. 857-860, Dresden, Germany, 2018
Approximate Hardware Generation using Symbolic Computer Algebra employing Gröbner Basis
Autor: Saman Fröhlich, Daniel Große, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: pp. 889-892, Dresden, Germany, 2018
An Exact Method for Design Exploration of Quantum-dot Cellular Automata
Autor: Marcel Walter, Robert Wille, Daniel Große, Frank Sill Torres, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: pp. 503-508, Dresden, Germany, 2018
Exact Synthesis of Biomolecular Protocols for Multiple Sample Pathways on Digital Microfluidic Biochips
Autor: Oliver Keszöcze, Mohamed Ibrahim, Robert Wille, Krishnendu Chakrabarty, Rolf Drechsler
Konferenz:
International Conference on VLSI Design (VLSID)
Pdf | Referenz: Pune, Indien, 2018
Identification of Efficient Clustering Techniques for Test Power Activity on the Layout
Autor: Harshad Dhotre, Stephan Eggersglüß, Rolf Drechsler
Konferenz:
26th IEEE Asian Test Symposium (ATS)
Pdf | Referenz: Taipei, Taiwan, 2017
Towards Early Validation of Firmware-Based Power
Management using Virtual Prototypes:
A Constrained Random Approach
Autor: Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Konferenz:
Forum on specification & Design Languages (FDL)
Pdf | Referenz: pp. 1-8, Verona, Italy, 2017
Best Paper Candidate
Towards Making Fault Injection on Abstract Models a More Accurate Tool for Predicting RT-Level Effects
Autor: Tino Flenker, Jan Malburg, Goerschwin Fey, Serhiy Avramenko, Massimo Violante and Matteo Sonza Reorda
Konferenz:
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
Pdf | Referenz: Bochum, Germany, 2017
Towards VHDL-based Design of Reversible Circuits
Autor: Zaid Al-Wardi, Robert Wille, Rolf Drechsler
Konferenz:
Reversible Computation
Pdf | Referenz: Kolkata, India, 2017
Efficient Construction of QMDDs for Irreversible, Reversible and Quantum Functions
Autor: Philipp Niemann, Alwin Zulehner, Robert Wille, Rolf Drechsler
Konferenz:
Reversible Computation
Pdf | Referenz: pp. 214-231, Kolkata, India, 2017
Hiding Higher-Order Side-Channel Leakage - Randomizing Cryptographic Implementations in Reconfigurable Hardware
Autor: Pascal Sasdrich, Amir Moradi, Tim Güneysu
Konferenz:
RSA Conference Cryptographers’ Track (CT-RSA)
Pdf | Referenz: San Francisco, US, 2017.
Effects of Cell Shapes on the Routability of Digital Microfluidic Biochips
Autor: Kevin Leonard Schneider, Oliver Keszöcze, Jannis Stoppe, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: Lausanne, Switzerland, 2017
Automatic Equivalence Checking for SystemC-TLM 2.0 Models
Against their Formal Specifications
Autor: Mehran Goli, Jannis Stoppe, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: Lausanne, Switzerland, 2017
Data Flow Testing for Virtual Prototypes
Autor: Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Mingsong Chen, Daniel Große, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: Lausanne, Switzerland, 2017
Endurance Management for Resistive Logic-In-Memory Computing Architectures
Autor: Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Giovanni De Micheli, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: Lausanne, Switzerland, 2017
Optimization of Retargeting for IEEE 1149.1 TAP Controllers with Embedded Compression
Autor: Sebastian Huhn, Stephan Eggersglüß, Krishnendu Chakrabarty, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: Lausanne, Schweiz, 2017
White-Box Cryptography in the Gray Box - A Hardware Implementation and its Side Channels
Autor: Pascal Sasdrich, Amir Moradi, Tim Güneysu
Konferenz: FSE 2016: 185-203
Referenz: http://dx.doi.org/10.1007/978-3-662-52993-5_10
Formal Test Point Insertion for Region-based Low-Capture-Power Compact At-Speed Scan Test
Autor: Stephan Eggersglüß, Stefan Holst, Daniel Tille, Kohei Miyase, Xiaoqing Wen
Konferenz:
IEEE Asian Test Symposium (ATS)
Pdf | Referenz: Hiroshima, Japan, 2016
Automated Optimization of Scan Chain Structure for Test Compression-Based Designs
Autor: Harshad Dhotre, Mehdi Dehbashi, Ulrike Pfannkuchen, Klaus Hofmann
Konferenz:
IEEE Asian Test Symposium (ATS)
Referenz: Hiroshima, Japan, 2016
On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-based Error Effect Simulation - A Case Study
Autor: Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Konferenz:
Forum on specification & Design Languages (FDL)
Pdf | Referenz: Bremen, Germany, 2016
Best Paper Candidate
Designing Reliable Cyber-Physical Systems
Autor: Gadi Aleksandrowicz, Eli Arbel, Roderick Bloem, Timon Ter Braak, Sergei Devadze, Görschwin Fey, Maksim Jenihhin, Artur Jutman, Hans G. Kerkhoff, Robert Könighofer, Jan Malburg, Shiri Moran, Jaan Raik, Gerard Rauwerda, Heinz Riener, Franz Röck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao
Konferenz:
Forum on specification & Design Languages (FDL)
Pdf | Referenz: Bremen, Germany, 2016
Strong 8-bit Sboxes with Efficient Masking in Hardware
Autor: Erik Boss, Vincent Grosso, Tim Güneysu, Gregor Leander, Amir Moradi, Tobias Schneider
Konferenz: CHES 2016: 171-193
Referenz: http://dx.doi.org/10.1007/978-3-662-53140-2_9
ParTI - Towards Combined Hardware Countermeasures Against Side-Channel and Fault-Injection Attacks
Autor: Tobias Schneider, Amir Moradi, Tim Güneysu
Konferenz: CRYPTO (2), Santa Barbara, USA, 2016: 302-332
Referenz: http://dx.doi.org/10.1007/978-3-662-53008-5_11
On the problems of realizing reliable and efficient ring oscillator PUFs on FPGAs.
Autor: Alexander Wild, Georg T. Becker, Tim Güneysu
Konferenz: Hardware-Oriented Security and Trust (HOST) 2016: 103-108
Referenz: http://dx.doi.org/10.1109/HST.2016.7495565
Secure and Private, yet Lightweight, Authentication for the IoT via PUF and CBKA
Autor: Christopher Huth, Aydin Aysu, Jorge Guajardo, Paul Duplys, Tim Güneysu
Konferenz: ICISC 2016: 28-48
Referenz: http://dx.doi.org/10.1007/978-3-319-53177-9_2
Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs
Autor: Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler
Konferenz:
Reversible Computation
Referenz: Bologna, Italy, 2016
Enumeration of reversible functions and its application to circuit complexity
Autor: Mathias Soeken, Nabila Abdessaied, Giovanni De Micheli
Konferenz:
Reversible Computation
Pdf | Referenz: Bologna, Italy, 2016
High-Performance and Lightweight Lattice-Based Public-Key Encryption
Autor: Johannes A. Buchmann, Florian Göpfert, Tim Güneysu, Tobias Oder, Thomas Pöppelmann
Konferenz: IoTPTS@AsiaCCS 2016: 2-9
Referenz: http://doi.acm.org/10.1145/2899007.2899011
IND-CCA Secure Hybrid Encryption from QC-MDPC Niederreiter
Autor: Ingo von Maurich, Lukas Heberle, Tim Güneysu
Konferenz:
Post-Quantum Cryptography (PQCrypto 2016)
Referenz: pages 1-17, LNCS Vol. 9606, Fukuoka, Japan
Analysis of the effects of soft errors on compression algorithms through fault injection inside program variables
Autor: Serhiy Avramenko, Matteo Sonza Reorda, Massimo Violante, Goerschwin Fey
Konferenz:
IEEE Latin-American Test Symposium (LATS2016)
Pdf | Referenz: Foz do Iguaçu, Brazil, 2016
Robust and One-Pass Parallel Computation of Correlation-Based Attacks at Arbitrary Order
Autor: Tobias Schneider, Amir Moradi, Tim Güneysu
Konferenz: COSADE 2016, Graz, p. 199-217
Referenz: http://dx.doi.org/10.1007/978-3-319-43283-0_12
Standard lattices in hardware
Autor: James Howe, Ciara Moore, Máire O'Neill, Francesco Regazzoni, Tim Güneysu, K. Beeden
Konferenz: Design Automation Conference (DAC), Austin, USA, 2016, 162:1-162:6
Referenz: http://doi.acm.org/10.1145/2903150.2907756
An MIG-based Compiler for Programmable Logic-in-Memory Architectures
Autor: Mathias Soeken, Saeideh Shirinzadeh, Pierre-Emmanuel Gaillardon, Luca Gaetano Amarù, Rolf Drechsler, Giovanni De Micheli
Konferenz:
Design Automation Conference (DAC)
Pdf | Referenz: Austin, USA, 2016
Precise Error Determination of Approximated Components in Sequential Circuits with Model Checking
Autor: Arun Chandrasekharan,
Mathias Soeken,
Daniel Große,
Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Pdf | Referenz: Austin, USA, 2016
A grain in the silicon: SCA-protected AES in less than 30 slices
Autor: Pascal Sasdrich, Tim Güneysu
Konferenz: IEEE International Conference on
Application-specific Systems, Architectures and Processors (ASAP) 2016: 25-32
Referenz: http://dx.doi.org/10.1109/ASAP.2016.7760769
On the Energy Cost of Channel Based Key Agreement
Autor: Christopher Huth, René Guillaume, Paul Duplys, Kumaragurubaran Velmurugan, Tim Güneysu
Konferenz: TrustED@CCS 2016: 31-41
Referenz: http://doi.acm.org/10.1145/2995289.2995291
Secure architectures of future emerging cryptography SAFEcrypto
Autor: Máire O'Neill, Elizabeth O'Sullivan, Gavin McWilliams, Markku-Juhani Saarinen, Ciara Moore, Ayesha Khalid, James Howe, Rafaël Del Pino, Michel Abdalla, Francesco Regazzoni, Felipe Valencia, Tim Güneysu, Tobias Oder, Adrian Waller, Glyn Jones, Anthony Barnett, Robert Griffin, Andrew Byrne, Bassem Ammar, David Lund
Konferenz: Conf. Computing Frontiers 2016: 315-322
Referenz: http://doi.acm.org/10.1145/2903150.2907756
VecTHOR: Low-cost compression architecture for IEEE 1149-compliant TAP controllers
Autor: Sebastian Huhn, Stephan Eggersglüß and Rolf Drechsler
Konferenz:
IEEE European Test Symposium (ETS)
Pdf | Referenz: Amsterdam, Niederlande, 2016
SAT-Based Post-Processing for Regional Capture Power Reduction in At-Speed Scan Test Generation
Autor: Stephan Eggersglüß, Kohei Miyase, Xiaoqing Wen
Konferenz:
IEEE European Test Symposium (ETS)
Pdf | Referenz: Amsterdam, Niederlande, 2016
A Hybrid Algorithm to Conservatively Check the Robustness of Circuits
Autor: Niels Thole, Lorena Anghel, Görschwin Fey
Konferenz:
IEEE European Test Symposium (ETS)
Pdf | Referenz: Amsterdam, Niederlande, 2016
Towards a Catalog of Structural and Behavioral
Verification Tasks for UML/OCL Models
Autor: Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
Konferenz:
Modellierung
Pdf | Referenz: pp. 117-124, Karlsruhe, Germany, 2016
Quantitative Timing Analysis of UML Activity Diagrams Using Statistical Model Checking
Autor: Fan Gu, Xinqian Zhang, Mingsong Chen, Daniel Große,
Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: pp. 780-785, Dresden, Germany, 2016
Towards Formal Verification of Real-World SystemC TLM Peripheral Models - A Case Study
Autor: Hoang M. Le, Vladimir Herdt, Daniel Große, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: pp. 1160-1163, Dresden, Germany, 2016
Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction
Autor: Amr Sayed Ahmed, Daniel Große, Ulrich Kühne, Mathias Soeken, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: pp. 1048-1053, Dresden, Germany, 2016
Best Paper Candidate
Fast Logic Synthesis for RRAM-based In-Memory Computing using Majority-Inverter Graphs
Autor: Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: Dresden, Germany, 2016
Optimizing Majority-Inverter Graphs With Functional Hashing
Autor: Mathias Soeken, Pierre-Emmanuel Gaillardon, Luca Amaru, Giovanni De Micheli
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: Dresden, Germany, 2016
Synthesis of Approximate Coders
for On-chip Interconnects Using Reversible Logic
Autor: Robert Wille, Oliver Keszöcze, Stefan Hillmich, Marcel Walter, Alberto Garcia-Ortiz
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: Dresden, Germany, 2016
Exploiting Inherent Characteristics of Reversible Circuits for Faster Combinational Equivalence Checking
Autor: Luca Amaru, Pierre-Emmanuel Gaillardon, Robert Wille, Giovanni De Micheli
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: Dresden, 2016
Improving the Realization of Multiple-Control Toffoli Gates Using the NCVW Quantum Gate Library
Autor: Laxmidhar Biswal, Chandan Bandyopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman
Konferenz:
International Conference on VLSI Design (VLSI Design)
Referenz: Kolkata, India, 2016
Diagnostic Tests and Diagnosis for Delay Faults using Path Segmentation
Autor: Tino Flenker, André Sülflow, Görschwin Fey
Konferenz:
24th IEEE Asian Test Symposium (ATS)
Pdf | Referenz: Mumbai, India, 2015
Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics
Autor: Michael Kirkedal Thomsen, Mathias Soeken, Robin Kaarsgaard
Konferenz:
Reversible Computation
Pdf | Referenz: Grenoble, France, 2015
Towards Line-aware Realizations of Expressions for HDL-based Synthesis of Reversible Circuits
Autor: Zaid Al-Wardi, Robert Wille, Rolf Drechsler
Konferenz:
Reversible Computation
Pdf | Referenz: Grenoble, France, 2015
Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions
Autor: Philipp Niemann, Saikat Basu, Amlan Chakrabarti, Niraj K. Jha, Robert Wille
Konferenz:
Reversible Computation
Pdf | Referenz: pp. 248-264, Grenoble, France, 2015
Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits
Autor: Abhoy Kole, Kamalika Datta, Indranil Sengupta, Robert Wille
Konferenz:
Reversible Computation
Pdf | Referenz: Grenoble, France, 2015
Technology mapping for quantum circuits using Boolean functional decomposition
Autor: Nabila Abdessaied, Mathias Soeken, Rolf Drechsler
Konferenz:
Reversible Computation
Pdf | Referenz: Grenoble, France, 2015
A Generic Representation of CCSL Time Constraints for UML/MARTE Models
Autor: Judith Peters, Robert Wille, Nils Przigoda, Ulrich Kühne, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Pdf | Referenz: San Francisco, 2015
Verifying SystemC using Stateful Symbolic Simulation
Autor: Vladimir Herdt, Hoang M. Le, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Pdf | Referenz: San Francisco, 2015
BDD-based Synthesis for All-optical Mach-Zehnder Interferometer Circuits
Autor: Eleonora Schönborn, Kamalika Datta, Robert Wille, Indranil Sengupta, Hafizur Rahaman, Rolf Drechsler
Konferenz:
International Conference on VLSI Design (VLSI Design)
Pdf | Referenz: Bengaluru, India, 2015
Automating the Translation of Assertions Using Natural Language Processing Techniques
Autor: Mathias Soeken, Christopher B. Harris, Nabila Abdessaied, Ian G. Harris and Rolf Drechsler
Konferenz:
Forum on specification & Design Languages (FDL)
Pdf | Referenz: Munich, Germany, 2014
Verifying Consistency between Activity Diagrams and Their Corresponding OCL Contracts
Autor: Christoph Hilken, Julia Seiter, Robert Wille, Ulrich Kühne, Rolf Drechsler
Konferenz:
Forum on specification & Design Languages (FDL)
Pdf | Referenz: Munich, Germany, 2014
Exact One-pass Synthesis of Digital Microfluidic Biochips
Autor: Oliver Keszöcze, Robert Wille, Tsung-Yi Ho, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Pdf | Referenz: San Francisco, 2014
Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State-of-the-Art and Research Challenges
Autor: Jan-Hendrik Oetjens,
Nico Bannow,
Markus Becker,
Oliver Bringmann,
Andreas Burger,
Moomen Chaari,
Samarjit Chakraborty,
Rolf Drechsler,
Wolfgang Ecker,
Kim Gruettner,
Thomas Kruse,
Christoph Kuznik,
Hoang M. Le,
Andreas Mauderer,
Wolfgang Mueller,
Daniel Mueller-Gritschneder,
Frank Poppen,
Hendrik Post,
Sebastian Reiter,
Wolfgang Rosenstiel,
Simon Roth,
Ulf Schlichtmann,
Andreas von Schwerin,
Bogdan-Andrei Tabacaru,
Alexander Viehl
Konferenz:
Design Automation Conference (DAC)
Referenz: pp. 113:1-6, San Francisco, 2014
Mapping NCV Circuits to Optimized Clifford+T Circuits
Autor: D. Michael Miller, Mathias Soeken, Rolf Drechsler
Konferenz:
Reversible Computation
Pdf | Referenz: Kyoto, Japan, 2014
Equivalence Checking in Multi-level Quantum Systems
Autor: Philipp Niemann, Robert Wille, Rolf Drechsler
Konferenz:
Reversible Computation
Pdf | Referenz: pp. 201-215, Kyoto, Japan, 2014
RevVis: Visualization of Structures and Properties in Reversible Circuits
Autor: Robert Wille, Jannis Stoppe, Eleonora Schönborn, Kamalika Datta, Rolf Drechsler
Konferenz:
Reversible Computation
Pdf | Referenz: Kyoto, Japan, 2014
Quantum Circuit Optimization by Hadamard Gate Reduction
Autor: Nabila Abdessaied, Mathias Soeken, Rolf Drechsler
Konferenz:
Reversible Computation
Pdf | Referenz: Kyoto, Japan, 2014
Verification of the Decimal Floating-Point Square Root Operation,
Autor: Amr Sayed Ahmed, Hossam Fahmy, Ulrich Kühne
Konferenz:
19th IEEE European Test Symposium,
Pdf | Referenz: Paderborn, Germany, 2014.
Optimization-based Multiple Target Test Generation for Highly Compacted Test Sets
Autor: Stephan Eggersglüß, Kenneth Schmitz, Rene Krenz-Baath, Rolf Drechsler
Konferenz:
19th IEEE European Test Symposium (ETS)
Pdf | Referenz: Paderborn, Germany, 2014
Future SoC Verification Methodology: UVM
Evolution or Revolution?
Autor: Rolf Drechsler, Christophe Chevallaz, Franco Fummi, Alan Hu, Ronny Morad, Frank Schirrmeister, Alex Goryachev
Konferenz:
Design, Automation and Test in Europe (DATE'14)
Pdf | Referenz: Dresden, Germany, 2014
Task-Driven Software Summarization
Autor: Dave Binkley,
Dawn Lawrie,
Emily Hill,
Janet Burge,
Ian Harris,
Regina Hebig,
Oliver Keszöcze,
Karl Reed,
John Slankas
Konferenz:
29th IEEE International Conference on Software Maintenance (ICSM)
Referenz: Eindhoven, The Netherlands, 2013
Peak Capture Power Reduction for Compact Test Sets Using Opt-Justification-Fill
Autor: Stephan Eggersglüß
Konferenz:
22nd IEEE Asian Test Symposium (ATS)
Pdf | Referenz: pp. 31-16, Yilan, Taiwan, 2013
A Compact and Efficient SAT Encoding for Quantum Circuits
Autor: Robert Wille, Nils Przigoda, Rolf Drechsler
Konferenz:
IEEE Africon
Pdf | Referenz: Mauritius, 2013
Exploiting Reversibility in the Complete Simulation of Reversible Circuits
Autor: Robert Wille, Simon Stelter, Rolf Drechsler
Konferenz:
IEEE Africon
Pdf | Referenz: Mauritius, 2013
On the “Q” in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-structure
Autor: Philipp Niemann, Robert Wille, Rolf Drechsler
Konferenz:
Reversible Computation
Pdf | Referenz: pp. 125-140, Victoria, Canada, 2013
Exploiting Negative Control Lines in the Optimization of Reversible Circuits
Autor: Kamalika Datta, Gaurav Rathi, Robert Wille, Indranil Sengupta, Hafizur Rahaman, Rolf Drechsler
Konferenz:
Reversible Computation
Pdf | Referenz: pp. 209-220, Victoria, Canada, 2013
Reversible Circuit Synthesis of Symmetric Functions Using a Simple Regular Structure
Autor: Arighna Deb, Debesh Kumar Das, Hafizur Rahaman, Bhargab B. Bhattacharya, Robert Wille, Rolf Drechsler
Konferenz:
Reversible Computation
Pdf | Referenz: pp. 182-195, Victoria, Canada, 2013
White Dots do Matter: Rewriting Reversible Logic Circuits
Autor: Mathias Soeken, Michael Kirkedal Thomsen
Konferenz:
Reversible Computation
Pdf | Referenz: pp. 196-208, Victoria, Canada, 2013
Reducing the Depth of Quantum Circuits Using Additional Lines
Autor: Nabila Abdessaied, Robert Wille, Mathias Soeken, Rolf Drechsler
Konferenz:
Reversible Computation
Pdf | Referenz: pp. 221-233, Victoria, Canada, 2013
Verifying SystemC using an Intermediate Verification Language and Symbolic Simulation
Autor: Hoang M. Le, Daniel Große, Vladimir Herdt, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Pdf | Referenz: pp. 116:1-6 Austin, Texas, 2013
Synchronized Debugging across Different Abstraction Levels in System Design
Autor: Rolf Drechsler, Daniel Große, Hoang M. Le, André Sülflow
Konferenz:
embedded world Conference 2013
Pdf | Referenz: Nürnberg, 2013
Determining Relevant Model Elements for the Verification of UML/OCL Specifications
Autor: Julia Seiter, Robert Wille, Mathias Soeken, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: pp. 1189-1192, Grenoble, France, 2013
Towards a Generic Verification Methodology for System Models
Autor: Robert Wille, Martin Gogolla, Mathias Soeken, Mirco Kuhlmann, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: pp. 1193-1196, Grenoble, France, 2013
An Evolutionary Approach to Reversible Logic Synthesis using Output Permutation
Autor: Kamalika Datta, Indranil Sen Gupta, Hafizur Rahaman, Rolf Drechsler
Konferenz:
IEEE Design and Test Symposium 2012 (IDT)
Pdf | Referenz: Doha, 2012
Towards Dialog Systems for Assisted Natural Language Processing in the Design of Embedded Systems
Autor: Rolf Drechsler, Mathias Soeken, Robert Wille
Konferenz:
IEEE Design and Test Symposium 2012 (IDT)
Pdf | Referenz: Doha, 2012
SyDe - a New Graduate School for
System Design in an Excellent Setting
Autor: Ulrich Kühne, Rolf Drechsler
Konferenz:
Informatics Europe (ECSS)
Referenz: Barcelona, 2012
FoREnSiC - An Automatic Debugging Environment for C Programs
Autor: Roderick Bloem, Rolf Drechsler, Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Jaan Raik, Urmas Repinski, André Sülflow
Konferenz:
Haifa Verification Conference (HVC)
Pdf | Referenz: Haifa, 2012
Robust Timing-Aware Test Generation Using Pseudo-Boolean Optimization
Autor: Stephan Eggersglüß, Mahmut Yilmaz, Krishnendu Chakrabarty
Konferenz:
21st IEEE Asian Test Symposium (ATS)
Pdf | Referenz: pp. 290-295, Niigata, Japan, 2012
The System Verification Methodology for
Advanced TLM Verification
Autor: Marcio F. S. Oliveira, Christoph Kuznik, Wolfgang Mueller, Finn Haedicke, Hoang M. Le, Daniel Große, Rolf Drechsler, Wolfgang Ecker, Volkan Esen
Konferenz:
International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Pdf | Referenz: pp. 313-322, Tampere, 2012
Completeness-Driven Development
Autor: Rolf Drechsler, Melanie Diepenbeck, Daniel Große, Ulrich Kühne, Hoang M. Le, Julia Seiter, Mathias Soeken, Robert Wille
Konferenz:
International Conference on Graph Transformation
Pdf | Referenz: pp. 38-50, Bremen, 2012
Formal Specification Level: Towards Verification-driven Design Based on Natural Language Processing
Autor: Rolf Drechsler, Mathias Soeken, Robert Wille
Konferenz:
Forum on specification & Design Languages (FDL)
Pdf | Referenz: pp. 53-58, Vienna, Austria, 2012
IMITATOR 2.5: A Tool for Analyzing Robustness in Scheduling Problems (Tool Paper)
Autor: Étienne André, Laurent Fribourg, Ulrich Kühne, Romain Soulat
Konferenz:
International Symposium on Formal Methods (FM)
Referenz: Paris, France, 2012
Automated Feature Localization for Hardware Designs
using Coverage Metrics
Autor: Jan Malburg, Alexander Finder, Görschwin Fey
Konferenz:
Design Automation Conference (DAC)
Pdf | Referenz: pp. 941-946, San Francisco, 2012
Realizing Reversible Circuits Using a New Class of Quantum Gates
Autor: Zahra Sasanian, Robert Wille, Michael Miller
Konferenz:
Design Automation Conference (DAC)
Pdf | Referenz: San Francisco, 2012
Functional Analysis of Circuits Under Timing
Variations
Autor: Mehdi Dehbashi, Görschwin Fey, Kaushik Roy, Anand Raghunathan
Konferenz:
17th IEEE European Test Symposium (ETS)
Pdf | Referenz: pp. 177, Annecy, France, 2012
Improved Fault Diagnosis for Reversible Circuits
Autor: Hongyan Zhang, Robert Wille, Rolf Drechsler
Konferenz:
Asian Test Symposium (ATS)
Pdf | Referenz: New Delhi, 2011
Determining Minimal Testsets for Reversible Circuits Using Boolean Satisfiability
Autor: Hongyan Zhang, Stefan Frehse, Robert Wille, Rolf Drechsler
Konferenz:
10th IEEE Africon
Pdf | Referenz: Livingstone, 2011
Simulation-based Equivalence Checking between SystemC Models at different Levels of Abstraction
Autor: Daniel Große, Markus Groß, Ulrich Kühne, Rolf Drechsler
Konferenz:
Great Lakes Symposium on VLSI (GLSVLSI)
Pdf | Referenz: pp. 223-228, Lausanne, 2011
As-Robust-As-Possible Test Generation in the Presence of Small Delay Defects using Pseudo-Boolean Optimization
Autor: Stephan Eggersglüß, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: pp. 1291-1296, Grenoble, 2011
Robust Algorithms for High Quality Test Pattern Generation Using Boolean Satisfiability
Autor: Stephan Eggersglüß, Rolf Drechsler
Konferenz:
International Test Conference (ITC)
Pdf | Referenz: pp. 1-10, Austin, 2010
SyReC: A Programming Language for Synthesis of Reversible Circuits
Autor: Robert Wille, Sebastian Offermann, Rolf Drechsler
Konferenz:
Forum on specification & Design Languages (FDL)
Pdf | Referenz: pp. 184-189, Southampton, 2010
Received Best Paper Award
Reducing the Number of Lines in Reversible Circuits
Autor: Robert Wille, Mathias Soeken, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Pdf | Referenz: pp. 647-652, Anaheim, 2010
Enhancing Debugging of Multiple Missing Control Errors in Reversible Logic
Autor: Jean Christoph Jung, Stefan Frehse, Robert Wille, Rolf Drechsler
Konferenz:
Great Lakes Symposium on VLSI (GLSVLSI)
Pdf | Referenz: pp. 465-470, Rhode Island, 2010
Improving CNF Representations in SAT-based ATPG for Industrial Circuits using BDDs
Autor: Daniel Tille, Stephan Eggersglüß, René Krenz-Bååth, Juergen Schloeffel, Rolf Drechsler
Konferenz:
15th IEEE European Test Symposium (ETS)
Pdf | Referenz: pp. 176-181, Prag, 2010
Verifying UML/OCL Models Using Boolean Satisfiability
Autor: Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler
Konferenz:
Design, Automation and Test in Europe (DATE)
Pdf | Referenz: pp. 1341-1344, Dresden, 2010, 2010
Speeding up SAT-based ATPG using Dynamic Clause Activation
Autor: Stephan Eggersglüß, Daniel Tille, Rolf Drechsler
Konferenz:
18th Asian Test Symposium (ATS'09)
Pdf | Referenz: pp. 177-182, Taichung, 2009
SAT-Based ATPG Testing of Inter- and Intra-Gate Bridging Faults
Autor: Toru Nakura, Yutaro Tatemura, Görschwin Fey, Makoto Ikeda, Satoshi Komatsu, Kunihiro Asada
Konferenz: European Conference on Circuit Theory and Design
Referenz: Antalya, 2009
BDD-based Synthesis of Reversible Logic for Large Functions
Autor: Robert Wille, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Pdf | Referenz: pp. 270-275, San Francisco, 2009
Computing Bounds for Fault Tolerance using Formal Techniques
Autor: Görschwin Fey, Andre Sülflow, Rolf Drechsler
Konferenz:
Design Automation Conference (DAC)
Pdf | Referenz: pp. 190-195, San Francisco, USA, 2009
Increasing Robustness of SAT-based Delay Test Generation using Efficient Dynamic Learning Techniques
Autor: Stephan Eggersglüß, Rolf Drechsler
Konferenz:
14th IEEE European Test Symposium (ETS)
Pdf | Referenz: pp. 81-86, Sevilla, 2009
Contradictory Antecedent Debugging in Bounded Model Checking
Autor: Daniel Große, Robert Wille, Ulrich Kühne, Rolf Drechsler
Konferenz:
Great Lakes Symposium on VLSI (GLSVLSI)
Pdf | Referenz: pp. 173-176, Boston, 2009
Targeting Leakage Constraints during ATPG
Autor: Görschwin Fey, Sathoshi Komatsu, Yasuo Furukawa, Masahiro Fujita
Konferenz:
Asian Test Symposium (ATS)
Pdf | Referenz: pp. 225-230, 2008
Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking
Autor: Robert Wille, Görschwin Fey, Marc Messing, Gerhard
Angst, Lothar Linhard, Rolf Drechsler
Konferenz:
Euromicro Conference on Digital System Design (DSD)
Pdf | Referenz: pp. 542-549, Parma, 2008
Measuring the Quality of a SystemC Testbench by using Code Coverage Technqiues
Autor: Daniel Große, Hernan Peraza, Wolfgang Klingauf, Rolf Drechsler
Konferenz:
Forum on specification & Design Languages (FDL)
Pdf | Referenz: pp. 146-151, Barcelona
Received Best Paper Award, 2007
Improvements for Constraint Solving in the SystemC Verification Library
Autor: Daniel Große, Rüdiger Ebendt, Rolf Drechsler
Konferenz:
Great Lakes Symposium on VLSI (GLSVLSI)
Pdf | Referenz: pp. 493-496, Stresa, 2007
Automatic Fault Localization for Property Checking
Autor: Stefan Staber, Görschwin Fey, Roderick Bloem, Rolf Drechsler
Konferenz:
Haifa Verification Conference
Pdf | Referenz: Haifa, 2006
HW/SW Co-Verification of Embedded Systems using Bounded Model Checking
Autor: Daniel Große, Ulrich Kühne, Rolf Drechsler
Konferenz:
Great Lakes Symposium on VLSI (GLSVLSI)
Pdf | Referenz: pp. 43-48, Philadelphia, 2006
Experimental Studies on SAT-based Test Pattern Generation for Industrial Circuits
Autor: Junhao Shi, Görschwin Fey, Rolf Drechsler, Andreas Glowatz, Jürgen Schlöffel, Friedrich Hapke
Konferenz:
International Conference on ASIC (ASICON 2005)
Pdf | Referenz: pp. 967-970, Shanghai, 2005
PASSAT: Efficient SAT-based Test Pattern Generation
Autor: Junhao Shi, Görschwin Fey, Rolf Drechsler, Andreas Glowatz, Friedrich Hapke, Jürgen Schlöffel
Konferenz:
IEEE Annual Symposium on VLSI (ISVLSI '05)
Referenz: pp.212-217, Tampa, Florida, 2005
Cost-Efficient Block Verification for a UMTS Up-Link
Chip-Rate Coprocessor
Autor: Klaus Winkelmann, Hans-Joachim Trylus, Dominik Stoffel, Görschwin Fey
Konferenz:
IEEE Design, Automation and Test in Europe
Pdf | Referenz: Vol. I, pp. 162-167, Paris, 2004
BDD based Synthesis of Symmetric Functions with Full Path-Delay Fault Testability
Autor: Junhao Shi, Görschwin Fey, Rolf Drechsler
Konferenz:
Twelfth Asian Test Symposium (ATS03)
Referenz: pp. 290-293,
Xi'an, 2003
MuTaTe: An Efficient Design for Testability Technique for Multiplexor based Circuits
Autor: Rolf Drechsler, Junhao Shi and Görschwin Fey
Konferenz:
IEEE Great Lakes Symposium on VLSI (GLSV'03)
Pdf | Referenz: p. 80-83, Washington, 2003
Using Games for Benchmarking and Representing the Complete Solution Space Using Symbolic Techniques
Autor: Görschwin Fey, Sebastian Kinder and Rolf Drechsler
Konferenz: IEEE International Symposium on Multi-Valued Logic (ISMVL'2003)
Referenz: pp. 361-366, Tokyo, 2003
Formal Verification of LTL Formulas for SystemC Designs
Autor: Daniel Große, Rolf Drechsler
Konferenz: IEEE International Symposium on Circuits and Systems (ISCAS'03)
Pdf | Referenz: pp. V:245-V:248, Bangkok, 2003
Reducing the Number of Variable Movements in Exact BDD Minimization
Autor: Rüdiger Ebendt
Konferenz: IEEE International Symposium on Circuits and Systems (ISCAS'03)
Pdf | Referenz: pp. V:605-V:608, Bangkok, 2003
Synthesizing Checkers for On-line Verification of System-on-Chip Designs
Autor: Rolf Drechsler
Konferenz: IEEE International Symposium on Circuits and Systems (ISCAS'03)
Pdf | Referenz: pp. IV:748-IV:751, Bangkok, 2003
SPIHT implemented in a XC4000 device
Autor: Jörg Ritter, Görschwin Fey and Paul Molitor
Konferenz: IEEE The 45rd Midwest Symposium on Circuits and Systems (MWSCAS'2002)
Pdf | Referenz: volume I, pp. 239-242, Tulsa, 2002
Utilizing BDDs for disjoint SOP minimization
Autor: Görschwin Fey and Rolf Drechsler
Konferenz: IEEE The 45rd Midwest Symposium on Circuits and Systems (MWSCAS'2002)
Referenz: volume II, pp. 306-309, Tulsa, 2002
Crossing Reduction by Windows Optimization
Autor: Thomas Eschbach, Wolfgang Günther, Rolf Drechsler and Bernd Becker
Konferenz: 10th International Symposium on Graph Drawing (GD'2002)
Pdf | Referenz: LNCS 2528, pp. 285-294, Irvine, 2002
Computing Walsh, Arithmetic and Reed-Muller Spectral Decision Diagrams Using Graph Transformations
Autor: Whitney Townsend, Mitch Thornton, Rolf Drechsler and Michael Miller
Konferenz: IEEE Great Lakes Symposium on VLSI (GLSV'02)
Pdf | Referenz: pp. 178-183, New York, 2002
