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.
2022 // Journal article
Advanced virtual prototyping for cyber-physical systems using RISC-V: implementation, verification and challenges
Science China Information Sciences
Herdt, V.; Drechsler, R.
2022 // Conference paper
ANN-based Performance Estimation of Embedded Software for RISC-V Processors
Proceedings - IEEE International Symposium on Rapid System Prototyping, RSP
Zhang, W.; Goli, M.; Mahzoon, A.; Drechsler, R.
2022 // Conference paper
Automated Detection of Spatial Memory Safety Violations for Constrained Devices
Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
Tempel, S.; Herdt, V.; Drechsler, R.
2022 // Book
Choosing the Right Technique for the Right Restriction – A Domain-Specific Approach for Enforcing Search-Space Restrictions in Evolutionary Algorithms
Lecture Notes in Logistics
Plump, C.; Berger, B.J.; Drechsler, R.
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.
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.
2022 // Conference paper
Design Modification for Polynomial Formal Verification
Proceedings - 2022 International Symposium on Electrical, Electronics and Information Engineering, ISEEIE 2022
Drechsler, R.; Mahzoon, A.
2022 // Conference paper
Divider Verification Using Symbolic Computer Algebra and Delayed Don't Care Optimization
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022
Konrad, A.; Scholl, C.; Mahzoon, A.; Große, D.; Drechsler, R.
2022 // Conference paper
Early Performance Estimation of Embedded Software on RISC-V Processor using Linear Regression
Proceedings - 2022 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2022
Zhang, W.; Goli, M.; Drechsler, R.
2022 // Conference paper
Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing
Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI
Bruns, N.; Herdt, V.; Große, D.; Drechsler, R.
2022 // Conference paper
Equivalence Checking of System-Level and SPICE-Level Models of Linear Analog Filters
Proceedings - 2022 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2022
Caglar Coskun, K.; Hassan, M.; Drechsler, R.
2022 // Journal article
FAMCroNA: Fault Analysis in Memristive Crossbars for Neuromorphic Applications
Journal of Electronic Testing: Theory and Applications (JETTA)
Yadav, D.N.; Thangkhiew, P.L.; Datta, K.; Chakraborty, S.; Drechsler, R.; Sengupta, I.
2022 // Conference paper
Fast and Exact is Doable: Polynomial Algorithms in Test and Verification
2022 IEEE 23rd Latin American Test Symposium, LATS 2022
Drechsler, R.
2022 // Journal article
Feed-Forward learning algorithm for resistive memories
Journal of Systems Architecture
Yadav, D.N.; Thangkhiew, P.L.; Datta, K.; Chakraborty, S.; Drechsler, R.; Sengupta, I.
2022 // Conference paper
Formal verification of modular multipliers using symbolic computer algebra and boolean satisfiability
Proceedings - Design Automation Conference
Mahzoon, A.; Große, D.; Scholl, C.; Konrad, A.; Drechsler, R.
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.
2022 // Journal article
Introduction to the Special Issue on Design Automation for Quantum Computing
ACM Journal on Emerging Technologies in Computing Systems
Wille, R.; Drechsler, R.
2022 // Conference paper
Investigating Various Adder Architectures for Digital In-Memory Computing Using MAGIC-based Memristor Design Style
2022 IEEE International Conference on Emerging Electronics, ICEE 2022
Jha, C.K.; Mahzoon, A.; Drechsler, R.
2022 // Conference paper
LiM-HDL: HDL-Based Synthesis for In-Memory Computing
Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022
Froehlich, S.; Drechsler, R.
2022 // Other
Lower Bound Proof for the Size of BDDs representing a Shifted Addition
arXiv
Kleinekathöfer, J.; Mahzoon, A.; Drechsler, R.
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.
2022 // Conference paper
ML-based Power Estimation of Convolutional Neural Networks on GPGPUs
Proceedings - 2022 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2022
Metz, C.A.; Goli, M.; Drechsler, R.
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.
2022 // Conference paper
Nearest Neighbor Mapping of Quantum Circuits to Two-Dimensional Hexagonal Qubit Architecture
Proceedings of The International Symposium on Multiple-Valued Logic
Datta, K.; Kole, A.; Sengupta, I.; Drechsler, R.
