2018 // Conference paper
Automatic Design of Microfluidic Devices
Forum on Specification and Design Languages
Wille, R.; Li, B.; Drechsler, R.; Schlichtmann, U.
2018 // Journal article
Behavior-Driven Development for Hardware Design
IPSJ Transactions on System LSI Design Methodology
Diepenbeck, M.; Kühne, U.; Soeken, M.; Grosse, D.; Drechsler, R.
2018 // Book chapter
Building Fast Multi-Agent Systems Using Hardware Design Languages for High-Throughput Systems
Jannis Stoppe; Christina Plump; Sebastian Huhn; Rolf Drechsler
2018 // Conference paper
Combining symbolic computer algebra and Boolean satisfiability for the automatic debugging and correction of complex multipliers
Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI
Mahzoon, A.; Grobe, D.; Drechsler, R.
2018 // Conference paper
Constraint-Based Pattern Retargeting for Reducing Localized Power Activity During Testing
Proceedings - 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2018
Dhotre, H.; Eggersgluss, S.; Drechsler, R.; Dehbashi, M.; Pfannkuchen, U.
2018 // Conference paper
Decision diagrams for the design of reversible and quantum circuits
2018 International Symposium on Devices, Circuits, and Systems (ISDCS 2018)
Wille, R.; Niemann, P.; Zulehner, A.; Drechsler, R.
2018 // Conference paper
Evaluating the Impact of Interconnections in Quantum-Dot Cellular Automata
Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018
Sill Torres, F.; Wille, R.; Walter, M.; Niemann, P.; Grobe, D.; Drechsler, R.
2018 // Book
Precise Design of Digital Microfluidic Biochips
Precise Design of Digital Microfluidic Biochips
Keszocze, O.; Wille, R.; Drechsler, R.
2018 // Conference paper
Exact synthesis of biomolecular protocols for multiple sample pathways on digital microfluidic biochips
Proceedings of the IEEE International Conference on VLSI Design
Keszocze, O.; Ibrahim, M.; Wille, R.; Chakrabarty, K.; Drechsler, R.
2018 // Conference paper
Exploration of the Synchronization Constraint in Quantum-Dot Cellular Automata
Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018
Sill Torres, F.; Silva, P.A.; Fontes, G.; Nacif, J.A.; Santos Ferreira, R.; Paranaiba Vilela Neto, O.; Chaves, J.; Drechsler, R.
2018 // Conference paper
Extensible and Configurable RISC-V-Based Virtual Prototype
Forum on Specification and Design Languages
Herdt, V.; Große, D.; Le, H.M.; Drechsler, R.
2018 // Conference paper
Foreword
Proceedings of the European Test Workshop
Drechsler, R.; Chairs, G.; Vice Chair, G.; Stratigopoulos, H.G.; Eggersglöb, S.
2018 // Journal article
Frame Conditions in the Automatic Validation and Verification of UML/OCL Models: A Symbolic Formulation of "Modifies Only" Statements
Computer Languages, Systems, and Structures
Przigoda, N.; Niemann, P.; Filho, J.G.; Wille, R.; Drechsler, R.
2018 // Conference paper
IC/IP Piracy Assessment of Reversible Logic
IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD
Saeed, S.M.; Cui, X.; Zulehner, A.; Wille, R.; Drechsler, R.; Wu, K.; Karri, R.
2018 // Conference paper
Identification of Efficient Clustering Techniques for Test Power Activity on the Layout
Proceedings of the Asian Test Symposium
Dhotre, H.; Eggersglüß, S.; Drechsler, R.
2018 // Conference paper
Improved Synthesis of Clifford+T Quantum Functionality
Proceedings of the 2018 Design, Automation, and Test in Europe Conference and Exhibition, DATE 2018
Niemann, P.; Wille, R.; Drechsler, R.
2018 // Conference paper
Logic Design Using Memristors: An Emerging Technology
Proceedings of The International Symposium on Multiple-Valued Logic
Shirinzadeh, S.; Datta, K.; Drechsler, R.
2018 // Conference paper
Logic Synthesis for In-Memory Computing Using Resistive Memories
Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI
Shirinzadeh, S.; Drechsler, R.
2018 // Journal article
Logic Synthesis for RRAM-Based In-Memory Computing
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Shirinzadeh, S.; Soeken, M.; Gaillardon, P.-E.; Drechsler, R.
2018 // Book
Multi-objective synthesis of quantum circuits using genetic programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Sarvaghad-Moghaddam, M.; Niemann, P.; Drechsler, R.
2018 // Conference paper
Natural Language-Based Power Domain Partitioning
Proceedings - 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2018
Lemma, D.; Große, D.; Drechsler, R.
2018 // Book
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
Lecture Notes in Electrical Engineering
Herdt, V.; Le, H.M.; Große, D.; Drechsler, R.
2018 // Journal article
On the Complexity of Design Tasks for Digital Microfluidic Biochips
Microelectronics Journal
Keszocze, O.; Niemann, P.; Friedemann, A.; Drechsler, R.
2018 // Conference paper
PolyCleaner: Clean your polynomials before backward rewriting to verify million-gate multipliers
IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD
Mahzoon, A.; Große, D.; Drechsler, R.
2018 // Conference paper
Power intent from initial ESL prototypes: Extracting power management parameters <sup>∗</sup>
2018 IEEE Nordic Circuits and Systems Conference, NORCAS 2018: NORCHIP and International Symposium on System-on-Chip, SoC 2018 - Proceedings
Lemma, D.; Goli, M.; Grose, D.; Drechsler, R.
