HOME | KONTAKT

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen

Khushboo Qayyum, M.Sc.


Meine Forschung dreht sich um automatisierte Beweistechniken wie BDDs und SAT-Solvers im Rahmen moderner Verifizierungsmethoden. Der Schwerpunkt ist momentan diese Beweistechniken zu untersuchen und für die Verifizierung komplexer eingebetteter Systeme mithilfe von Heuristiken auf verschiedenen Ebenen zu optimieren.

WiMi

Start Small But Dream Big: On Choosing a Static Variable Order for Multiplier BDDs
Autor: Khushboo Qayyum, Alireza Mahzoon, Rolf Drechsler
Buchtitel: Advanced Boolean Techniques | Herausgeber: Rolf Drechsler, Sebastian Huhn (Eds.)
Verlag: Springer
Format: DOI 10.1007/978-3-031-28916-3 (2023)

Monitoring the Effects of Static Variable Orders on the Construction of BDDs
Autor: Khushboo Qayyum, Alireza Mahzoon, Rolf Drechsler
Konferenz: International Interdisciplinary Conference on Mathematics, Engineering and Science (MESIICON)
Pdf | Referenz: Virtual Conference, 2022

Automated Formal Verification Methodology for MAGIC Design Style Based In-Memory Computing
Autor: Chandan Kumar Jha, Khushboo Qayyum, Kemal Çağlar Coşkun, Simranjeet Singh, Muhammad Hassan, Rainer Leupers, Farhad Merchant, Rolf Drechsler
Workshop: International Workshop on Logic & Synthesis (IWLS)
Referenz: EPFL, Lausanne, Switzerland, 2023

« zurück


©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz