Homepage Sitemap Contact




Home « Publications « Conferences

sort: [ Title ] [ Author ] [ Conferences ] [ Reference ]
search:





» Polynomial Formal Verification of Floating Point Adders




Author:

Jan Kleinekathöfer, Alireza Mahzoon, Rolf Drechsler
Conference:
Design, Automation and Test in Europe Conference (DATE)
Reference:

Antwerp, Belgium, 2023
Hyperlink:

[Link to the Conference]



» Processor Verification using Symbolic Execution: A RISC-V Case-Study




Author:

Niklas Bruns, Vladimir Herdt, Rolf Drechsler
Conference:
Design, Automation and Test in Europe Conference (DATE)
Reference:

Antwerp, Belgium, 2023
Hyperlink:

[Link to the Conference]



» Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits




Author:

Kemal Çağlar Coşkun, Muhammad Hassan, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Antwerp, Belgium, 2023
Hyperlink:

[Link to the Conference]



» FELOPi: A Framework for Simulation and Evaluation of Post-Layout File Against Optical Probing




Author:

Sajjad Parvin, Mehran Goli, Frank Sill Torres, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Antwerp, Belgium, 2023
Hyperlink:

[Link to the Conference]



» Extending the Design Space of Dynamic Quantum Circuits for Toffoli based Network




Author:

Abhoy Kole, Arighna Deb, Kamalika Datta, Rolf Drechsler
Conference:
Design, Automation and Test in Europe (DATE)
Reference:

Antwerp, Belgium, 2023
Hyperlink:

[Link to the Conference]



» Automated Equivalence Checking Method for Majority based In-Memory Computing on ReRAM Crossbars




Author:

Arighna Deb, Kamalika Datta, Muhammad Hassan, Saeideh Shirinzadeh, Rolf Drechsler
Conference:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Reference:

Tokyo, Japan, 2023
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Trojan-D2: Post-Layout Design and Detection of Stealthy Hardware Trojans - a RISC-V Case Study




Author:

Sajjad Parvin, Mehran Goli, Frank Sill Torres, and Rolf Drechsler
Conference:
28th Asia and South Pacific Design Automation Conference (ASP-DAC)
Reference:

Tokyo, Japan, 2023
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» EDDY: A Multi-Core BDD Package With Dynamic Memory Management and Reduced Fragmentation




Author:

Rune Krauss, Mehran Goli, Rolf Drechsler
Conference:
Asia and South Pacific Design Automation Conference (ASP-DAC)
Reference:

Tokyo, Japan, 2023
Hyperlink:

[Link to the Conference]



» A Cross-domain Heterogeneous ABV-Library for Mixed-signal Virtual Prototypes in SystemC/AMS




Author:

Muhammad Hassan, Thilo Vörtler, Karsten Einwich, Rolf Drechsler, Daniel Große
Conference:
Design and Verification Conference in Europe (DVCon Europe)
Reference:

Munich, Germany, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Monitoring the Effects of Static Variable Orders on the Construction of BDDs




Author:

Khushboo Qayyum, Alireza Mahzoon, Rolf Drechsler
Conference:
International Interdisciplinary Conference on Mathematics, Engineering and Science (MESIICON)
Reference:

Virtual Conference, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Polynomial Formal Verification: Ensuring Correctness under Resource Constraints




Author:

Rolf Drechsler, Alireza Mahzoon
Conference:
International Conference on Computer Aided Design (ICCAD)
Reference:

San Diego, USA, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization




Author:

Alexander Konrad, Christoph Scholl, Alireza Mahzoon, Daniel Große, Rolf Drechsler
Conference:
Formal Methods in Computer-Aided Design (FMCAD)
Reference:

Trento, Italy, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Preserving Design Hierarchy Information for Polynomial Formal Verification




Author:

Rolf Drechsler, Alireza Mahzoon
Conference:
IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)
Reference:

Patras, Greece, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Unlocking High Resolution Arithmetic Operations within Memristive Crossbars for Error Tolerant Applications




Author:

Kamalika Datta, Saman Froehlich, Saeideh Shirinzadeh, Dev Narayan, Yadav Indranil Sengupta and Rolf Drechsler
Conference:
IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)
Reference:

Patras, Greece, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Fast and Exact is Doable: Polynomial Algorithms in Test and Verification




Author:

Rolf Drechsler
Conference:
IEEE Latin-American Test Symposium (LATS)
Reference:

Virtual Conference, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Design Modification for Polynomial Formal Verification




Author:

Rolf Drechsler, Alireza Mahzoon
Conference:
2022 International Symposium on Electrical, Electronics and Information Engineering (ISEEIE)
Reference:

Virtual Conference, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Towards Neural Hardware Search: Power Estimation of CNNs for GPGPUs with Dynamic Frequency Scaling




Author:

Christopher Metz, Mehran Goli, Rolf Drechsler
Conference:
ACM/IEEE Workshop on Machine Learning for CAD (MLCAD)
Reference:

Snowbird, USA, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Next Generation Design For Testability, Debug and Reliability Using Formal Techniques




Author:

Sebastian Huhn and Rolf Drechsler
Conference:
International Test Conference (ITC)
Reference:

Anaheim, CA, USA, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge Device




Author:

Alexander Fratzer, Vladimir Herdt, Christoph Lüth, Rolf Drechsler
Conference:
Forum on Specification & Design Languages (FDL)
Reference:

Linz, Austria, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]



» Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification




Author:

Niklas Bruns, Vladimir Herdt, Rolf Drechsler
Conference:
Forum on Specification & Design Languages (FDL)
Reference:

Linz, Austria, 2022
Hyperlink:

[Link to the Conference]
PDF:

[click here]




older entries in the archive







Deutsch







Sitemap Kontakt

ISMVL2014 DUHDE