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

+49 421 218-63958

MZH 4222

khushboo@uni-bremen.de

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