Nov 2024 // journal-article
ReSG: A Data Structure for Verification of Majority-based In-memory Computing on ReRAM Crossbars
ACM Transactions on Embedded Computing Systems
Kousik Bhunia; Arighna Deb; Kamalika Datta; Muhammad Hassan; Saeideh Shirinzadeh; Rolf Drechsler
Sep 2024 // journal-article
Early SoCs Information Flow Policies Validation Using SystemC-Based Virtual Prototypes at the ESL
ACM Transactions on Embedded Computing Systems
Mehran Goli; Rolf Drechsler
Sep 2024 // conference-paper
AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design
Ruidi Qiu; Grace Li Zhang; Rolf Drechsler; Ulf Schlichtmann; Bing Li
Aug 2024 // journal-article
Exploiting the Extended Neighborhood of Hexagonal Qubit Architecture for Mapping Quantum Circuits
ACM Journal on Emerging Technologies in Computing Systems
Abhoy Kole; Kamalika Datta; Indranil Sengupta; Rolf Drechsler
Jul 2024 // conference-paper
EvoAl - Codeless Domain-Optimisation
Bernhard Johannes Berger; Christina Plump; Lauren Paul; Rolf Drechsler
Jun 2024 // conference-paper
Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification
Khushboo Qayyum; Abhoy Kole; Kamalika Datta; Muhammad Hassan; Rolf Drechsler
2024 // journal-article
cecApprox: Enabling Automated Combinational Equivalence Checking for Approximate Circuits
IEEE Transactions on Circuits and Systems I: Regular Papers
Chandan Kumar Jha; Muhammad Hassan; Rolf Drechsler
2024 // journal-article
veriSIMPLER: An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing
IEEE Transactions on Circuits and Systems I: Regular Papers
Chandan Kumar Jha; Khushboo Qayyum; Kemal Çağlar Coşkun; Simranjeet Singh; Muhammad Hassan; Rainer Leupers; Farhad Merchant; Rolf Drechsler
2024 // journal-article
OPTI-Sim: Performing Optical Probing Simulation on Layout Design Files
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Sajjad Parvin; Mehran Goli; Frank Sill Torres; Rolf Drechsler
Dec 2023 // conference-paper
PolyMiR: Polynomial Formal Verification of the MicroRV32 Processor
Lennart Weingarten; Kamalika Datta; Rolf Drechsler
Sep 2023 // conference-paper
Next-Generation Automatic Human-Readable Proofs Enabling Polynomial Formal Verification
Rolf Drechsler; Martha Schnieber
Sep 2023 // conference-paper
Polynomial Formal Verification exploiting Constant Cutwidth
Mohamed Nadeem; Jan Kleinekathofer; Rolf Drechsler
Sep 2023 // conference-paper
Polynomial Formal Verification of KFDD Circuits
Martha Schnieber; Rolf Drechsler
Sep 2023 // journal-article
Synergistic Verification of Hardware Peripherals through Virtual Prototype Aided Cross-Level Methodology Leveraging Coverage-Guided Fuzzing and Co-Simulation
Chips
Sallar Ahmadi-Pour; Mathis Logemann; Vladimir Herdt; Rolf Drechsler
Jul 2023 // conference-paper
Scalable Neuroevolution of Ensemble Learners
Marcel Merten; Rune Krauss; Rolf Drechsler
Jul 2023 // conference-paper
Repetitive Processes and Their Surrogate-Model Congruent Encoding for Evolutionary Algorithms - A Theoretic Proposal
Christina Plump; Bernhard Berger; Rolf Drechsler
Jul 2023 // journal-article
MARADIV: Library of MAGIC-Based Approximate Restoring Array Divider Benchmark Circuits for In-Memory Computing Using Memristors
IEEE Transactions on Circuits and Systems II: Express Briefs
Chandan Kumar Jha; Sallar Ahmadi-Pour; Rolf Drechsler
Jun 2023 // journal-article
Specification-Based Symbolic Execution for Stateful Network Protocol Implementations in IoT
IEEE Internet of Things Journal
Sören Tempel; Vladimir Herdt; Rolf Drechsler
2023 // other
Finite State Automata Design using 1T1R ReRAM Crossbar
arXiv
Singh, S.; Ghazal, O.; Jha, C.K.; Rana, V.; Drechsler, R.; Shafik, R.; Yakovlev, A.; Patkar, S.; Merchant, F.
DOI: 10.48550/arXiv.2304.13552
2023 // book-chapter
Improved Cost-Metric for Nearest Neighbor Mapping of Quantum Circuits to 2-Dimensional Hexagonal Architecture
Kamalika Datta; Abhoy Kole; Indranil Sengupta; Rolf Drechsler
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
2023 // conference-paper
EDDY: A Multi-Core BDD Package with Dynamic Memory Management and Reduced Fragmentation
Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
Krauss, R.; Goli, M.; Drechsler, R.
DOI: 10.1145/3566097.3567913
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
Trojan-D2: Post-Layout Design and Detection of Stealthy Hardware Trojans-A RISC-V Case Study
Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
Parvin, S.; Goli, M.; Torres, F.S.; Drechsler, R.
DOI: 10.1145/3566097.3567919
2023 // conference-paper
Polynomial Formal Verification of a Processor: A RISC-V Case Study
Proceedings - International Symposium on Quality Electronic Design, ISQED
Weingarten, L.; Mahzoon, A.; Goli, M.; Drechsler, R.
DOI: 10.1109/ISQED57927.2023.10129397