Khushboo Qayyum, M.Sc.

Contact

Address (Bremen)

Publications

FARAD: Automated Formal Verification of Approximate Restoring Array Dividers
Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler
In: 38th International Conference on VLSI Design. International Conference on VLSI Design (VLSID-2025), 38th, January 4-8, Bangalore, India, 2025.
LLM-guided Formal Verification Coupled with Mutation Testing
Muhammad Hassan; Sallar Ahmadi-Pour; Khushboo Qayyum; Chandan Kumar Jha; Rolf Drechsler
In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.
LLM-Assisted High Quality Invariants Generation for Formal Verification
Khushboo Qayyum; Sallar Ahmadi-Pour; Muhammad Hassan; Chandan Kumar Jha; Rolf Drechsler
In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.