2023 // journal-article
Improving the Designs of Nearest Neighbour Quantum Circuits for 1D and 2D Architectures
IETE Journal of Research
Bandyopadhyay, C.; Bhattacharjee, A.; Wille, R.; Drechsler, R.; Rahaman, H.
DOI: 10.1080/03772063.2020.1822215
2023 // conference-paper
Automated Equivalence Checking Method for Majority Based In-Memory Computing on ReRAM Crossbars
Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
Deb, A.; Datta, K.; Hassan, M.; Shirinzadeh, S.; Drechsler, R.
DOI: 10.1145/3566097.3567842
2023 // other
Lower Bound Proof for the Size of Bdds Representing a Shifted Addition
SSRN
Kleinekathöfer, J.; Mahzoon, A.; Drechsler, R.
DOI:
2023 // book
Formal verification of structurally complex multipliers
Formal Verification of Structurally Complex Multipliers
Mahzoon, A.; Große, D.; Drechsler, R.
DOI: 10.1007/978-3-031-24571-8
2023 // conference-paper
VAST: Validation of VP-based Heterogeneous Systems against Availability Security Properties using Static Information Flow Tracking
Proceedings - International Symposium on Quality Electronic Design, ISQED
Coskun, E.N.D.; Hassan, M.; Goli, M.; Drechsler, R.
DOI: 10.1109/ISQED57927.2023.10129337
Dec 2022 // journal-article
Towards Quantification and Visualization of the Effects of Concretization During Concolic Testing
IEEE Embedded Systems Letters
Soren Tempel; Vladimir Herdt; Rolf Drechsler
Dec 2022 // journal-article
IMAGIN: Library of IMPLY and MAGIC NOR-Based Approximate Adders for In-Memory Computing
IEEE Journal on Exploratory Solid-State Computational Devices and Circuits
Chandan Kumar Jha; Phrangboklang Lyngton Thangkhiew; Kamalika Datta; Rolf Drechsler
Sep 2022 // journal-article
Advanced Embedded System Modeling and Simulation in an Open Source RISC-V Virtual Prototype
Journal of Low Power Electronics and Applications
Pascal Pieper; Vladimir Herdt; Rolf Drechsler
Jul 2022 // journal-article
Power-aware test scheduling framework for IEEE 1687 multi-power domain networks using formal techniques
Microelectronics Reliability
Payam Habiby; Sebastian Huhn; Rolf Drechsler
May 2022 // journal-article
RevSCA-2.0: SCA-Based Formal Verification of Nontrivial Multipliers Using Reverse Engineering and Local Vanishing Removal
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Alireza Mahzoon; Daniel GroBe; Rolf Drechsler
Apr 2022 // journal-article
Parallel Computing of Graph-based Functions in ReRAM
ACM Journal on Emerging Technologies in Computing Systems
Saman Froehlich; Saeideh Shirinzadeh; Rolf Drechsler
Apr 2022 // journal-article
Through the Looking Glass: Automated Design Understanding of SystemC-Based VPs at the ESL
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Mehran Goli; Rolf Drechsler
2022 // journal-article
Unlocking approximation for in-memory computing with Cartesian genetic programming and computer algebra for arithmetic circuits
IT - Information Technology
Froehlich, S.; Drechsler, R.
DOI: 10.1515/itit-2021-0042
2022 // conference-paper
Mapping Quantum Circuits to 2-Dimensional Quantum Architectures
Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)
Datta, K.; Kole, A.; Sengupta, I.; Drechsler, R.
DOI: 10.18420/inf2022_94
2022 // conference-paper
The Scale4Edge RISC-V Ecosystem
Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022
Ecker, W.; Adelt, P.; Mueller, W.; Heckmann, R.; Krstic, M.; Herdt, V.; Drechsler, R.; Angst, G.; Wimmer, R.; Mauderer, A.; Stahl, R.; Emrich, K.; Mueller-Gritschneder, D.; Becker, B.; Scholl, P.; Jentzsch, E.; Schlamelcher, J.; Gruttner, K.; Bernardo, P.P.; Bringmann, O.; Damian, M.; Oppermann, J.; Koch, A.; Bormann, J.; Partzsch, J.; Mayr, C.; Kunz, W.
DOI: 10.23919/DATE54114.2022.9774593
2022 // journal-article
Template-based mapping of reversible circuits to IBM quantum computers
Microprocessors and Microsystems
Niemann, P.; de Almeida, A.A.A.; Dueck, G.; Drechsler, R.
DOI: 10.1016/j.micpro.2022.104487
2022 // conference-paper
Generation of Verified Programs for In-Memory Computing
Proceedings - 2022 25th Euromicro Conference on Digital System Design, DSD 2022
Froehlich, S.; Drechsler, R.
DOI: 10.1109/DSD57027.2022.00114
2022 // conference-paper
Unlocking Sneak Path Analysis in Memristor Based Logic Design Styles
Proceedings - 2022 25th Euromicro Conference on Digital System Design, DSD 2022
Datta, K.; Shirinzadeh, S.; Thangkhiew, P.L.; Sengupta, I.; Drechsler, R.
DOI: 10.1109/DSD57027.2022.00111
2022 // conference-paper
Monitoring the Effects of Static Variable Orders on the Construction of BDDs
MESIICON 2022 - International Interdisciplinary Conference on Mathematics, Engineering and Science, Proceedings
Qayyum, K.; Mahzoon, A.; Drechsler, R.
DOI: 10.1109/MESIICON55227.2022.10093493
2022 // conference-paper
Polynomial Formal Verification of Approximate Adders
Proceedings - 2022 25th Euromicro Conference on Digital System Design, DSD 2022
Schnieber, M.; Froehlich, S.; Drechsler, R.
DOI: 10.1109/DSD57027.2022.00107
2022 // conference-paper
Cross-Level Processor Verification via Endless Randomized Instruction Stream Generation with Coverage-guided Aging
Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022
Bruns, N.; Herdt, V.; Jentzsch, E.; Drechsler, R.
DOI: 10.23919/DATE54114.2022.9774771
2022 // other
Lower Bound Proof for the Size of BDDs representing a Shifted Addition
arXiv
Kleinekathöfer, J.; Mahzoon, A.; Drechsler, R.
DOI: 10.48550/arXiv.2209.12477
2022 // journal-article
CoMIC: Complementary Memristor based in-memory computing in 3D architecture
Journal of Systems Architecture
Lalchhandama, F.; Datta, K.; Chakraborty, S.; Drechsler, R.; Sengupta, I.
DOI: 10.1016/j.sysarc.2022.102480
2022 // conference-paper
Advanced Environment Modeling and Interaction in an Open Source RISC-V Virtual Prototype
Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI
Pieper, P.; Herdt, V.; Drechsler, R.
DOI: 10.1145/3526241.3530374
2022 // conference-paper
Toward Optical Probing Resistant Circuits: A Comparison of Logic Styles and Circuit Design Techniques
Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
Parvin, S.; Krachenfels, T.; Tajik, S.; Seifert, J.-P.; Torres, F.S.; Drechsler, R.
DOI: 10.1109/ASP-DAC52403.2022.9712518