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.
Large Language Models (LLMs) for Verification, Testing, and Design
Chandan Jha; Muhammad Hassan; Khushboo Qayyum; Sallar Ahmadi-Pour; Ruidi Qiu Kangwei Xu; Jason Blocklove; Luca Collini; Andre Nakkab; Ulf Schlichtmann; Yalin Zhang; Ramesh Karri; Bing Li; Siddharth Garg; Rolf Drechsler
In: 30th IEEE European Test Symposium. IEEE European Test Symposium (ETS-2025), May 26-30, Tallinn, Estonia, IEEE, 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.