Get started
Author

Khushboo Qayyum

Observed name: Qayyum, Khushboo
ORCID: 0009-0004-7408-8399
Observed ORCID: 0009-0004-7408-8399
OpenAlex ID: A5062654910
LLM-Guided Formal Verification Coupled with Mutation Testing
2024 · Muhammad Hassan, Sallar Ahmadi-Pour, et al. · 42
From Bugs to Fixes: HDL Bug Identification and Patching using LLMs and RAG
2024 · Khushboo Qayyum, Muhammad Hassan, et al. · 14
LLM-assisted Bug Identification and Correction for Verilog HDL
2025 · Khushboo Qayyum, Chandan Kumar Jha, et al. · ACM Transactions on Design Automation of Electronic Systems · 8
PDF
veriSIMPLER: An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing
2024 · Chandan Kumar Jha, Khushboo Qayyum, et al. · IEEE Transactions on Circuits and Systems I Regular Papers · 7
Late Breaking Results: LLM-assisted Automated Incremental Proof Generation for Hardware Verification
2024 · Khushboo Qayyum, Muhammad Hassan, et al. · Proceedings - ACM IEEE Design Automation Conference · 7
Monitoring the Effects of Static Variable Orders on the Construction of BDDs
2022 · Khushboo Qayyum, Alireza Mahzoon, et al. · 7
LLMs for Hardware Verification: Frameworks, Techniques, and Future Directions
2024 · Khushboo Qayyum, Sallar Ahmadi-Pour, et al. · Proceedings - Asian Test Symposium/Proceedings · 5
Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification
2024 · Khushboo Qayyum, Abhoy Kole, et al. · ACM Great Lakes Symposium on VLSI (GLSVLSI) · 5
Delivering smart load-shedding for highly-stressed grids
2015 · Noman Bashir, Zohaib Sharani, et al. · IEEE International Conference on Smart Grid Communications (SmartGridComm) · 5
FARAD: Automated Formal Verification of Approximate Restoring Array Dividers
2025 · Chandan Kumar Jha, Khushboo Qayyum, et al. · International Conference on VLSI Design and International Conference on Embedded Systems (VLSID) · 4
SoftUPS
2014 · Zohaib Sharani, Khushboo Qayyum, et al. · International Conference on Future Energy Systems · 4
Prompt. Verify. Repeat. LLMs in the Hardware Verification Cycle
2025 · Muhammad Hassan, Mohamed Nadeem, et al. · IEEE International Conference on Omni-layer Intelligent Systems (COINS) · 3
H2O Sense: a WSN-based monitoring system for fish tanks
2020 · Khushboo Qayyum, Idrees Zaman, et al. · SN Applied Sciences · 3
PDF
veriSiM: Formal Verification of SPICE Netlists for MAGIC-Based Logic-in-Memory
2025 · Chandan Kumar Jha, Simranjeet Singh, et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2
Aashiyana: Design and Evaluation of a Smart Demand-Response System for Highly-stressed Grids
2015 · Bashir, Noman, Sharani, Zohaib, et al. · arXiv (Cornell University) · 2
PDF
Correct and Verify—CAV: Exploiting Binary Decision Diagrams to Enable Formal Verification of Approximate Adders With Correct Carry Bits
2024 · Chandan Kumar Jha, Khushboo Qayyum, et al. · IEEE Transactions on Circuits and Systems I Regular Papers · 1
Start Small But Dream Big: On Choosing a Static Variable Order for Multiplier BDDs
2023 · Khushboo Qayyum, Alireza Mahzoon, et al. · Springer eBooks · 1
Enabling Practical Demand Response in Highly-Stressed Grids Using Aashiyana
2015 · Muhammad Zohaib Akram Sharani, Noman Bashir, et al. · ACM International Conference on Future Energy Systems (e-Energy) · 1
Towards Reliable LLM-Assisted Verification Artifact Generation in EDA
2026 · Khushboo Qayyum, Qurrat Ul Ain, et al. · IEEE International Conference on Omni-layer Intelligent Systems (COINS)
Security-Aware Benchmarks for Performance Exploration of CHERI-Enabled Architectures
2026 · Spandan Das, Sayak Deb, et al. · IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
Automation of Polynomial Formal Verification using Large Language Models
2026 · Luca Müller, Khushboo Qayyum, et al. · Proceedings - IEEE VLSI Test Symposium/Proceedings of the ... IEEE VLSI Test Symposium
EnR: extend and reduce methodology to enable formal verification of truncated adders
2024 · Chandan Kumar Jha, Khushboo Qayyum, et al. · it - Information Technology
Works count: 23
Citation count: 121
H-index: 6
I10-index: 2
Year
Topic
Type