Khushboo Qayyum

According to our database, Khushboo Qayyum authored at least 13 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Correct and Verify - CAV: Exploiting Binary Decision Diagrams to Enable Formal Verification of Approximate Adders With Correct Carry Bits.

Chandan Kumar Jha, Khushboo Qayyum, Muhammad Hassan, Rolf Drechsler

IEEE Trans. Circuits Syst. I Regul. Pap., April, 2025

FARAD: Automated Formal Verification of Approximate Restoring Array Dividers.

Chandan Kumar Jha, Khushboo Qayyum, Muhammad Hassan, Rolf Drechsler

Proceedings of the 38th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems, 2025

Large Language Models (LLMs) for Verification, Testing, and Design.

Chandan Kumar Jha, Muhammad Hassan, Khushboo Qayyum, Sallar Ahmadi-Pour, Kangwei Xu, Ruidi Qiu, Jason Blocklove, Luca Collini, Andre Nakkab, Ulf Schlichtmann, Grace Li Zhang, Ramesh Karri, Bing Li, Siddharth Garg, Rolf Drechsler

Proceedings of the IEEE European Test Symposium, 2025

Prompt. Verify. Repeat. LLMs in the Hardware Verification Cycle.

Muhammad Hassan, Mohamed A. Nadeem, Khushboo Qayyum, Chandan Kumar Jha, Rolf Drechsler

Proceedings of the IEEE International Conference on Omni-layer Intelligent Systems, 2025

2024

veriSIMPLER: An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing.

Chandan Kumar Jha, Khushboo Qayyum, Kemal Çaglar Coskun, Simranjeet Singh, Muhammad Hassan, Rainer Leupers, Farhad Merchant, Rolf Drechsler

IEEE Trans. Circuits Syst. I Regul. Pap., September, 2024

EnR: extend and reduce methodology to enable formal verification of truncated adders.

Chandan Kumar Jha, Khushboo Qayyum, Muhammad Hassan, Rolf Drechsler

it Inf. Technol., 2024

Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification.

Khushboo Qayyum, Abhoy Kole, Kamalika Datta, Muhammad Hassan, Rolf Drechsler

Proceedings of the Great Lakes Symposium on VLSI 2024, 2024

LLM-Guided Formal Verification Coupled with Mutation Testing.

Muhammad Hassan, Sallar Ahmadi-Pour, Khushboo Qayyum, Chandan Kumar Jha, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

Late Breaking Results: LLM-assisted Automated Incremental Proof Generation for Hardware Verification.

Khushboo Qayyum, Muhammad Hassan, Sallar Ahmadi-Pour, Chandan Kumar Jha, Rolf Drechsler

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

LLMs for Hardware Verification: Frameworks, Techniques, and Future Directions.

Khushboo Qayyum, Sallar Ahmadi-Pour, Chandan Kumar Jha, Muhammad Hassan, Rolf Drechsler

Proceedings of the 33rd IEEE Asian Test Symposium, 2024

2015

Delivering smart load-shedding for highly-stressed grids.

Noman Bashir, Zohaib Sharani, Khushboo Qayyum, Affan A. Syed

Proceedings of the 2015 IEEE International Conference on Smart Grid Communications, 2015

Enabling Practical Demand Response in Highly-Stressed Grids Using Aashiyana.

Muhammad Zohaib Akram Sharani, Noman Bashir, Khushboo Qayyum, Affan A. Syed

Proceedings of the 2015 ACM Sixth International Conference on Future Energy Systems, 2015

2014

SoftUPS: eliminating the need and cost of battery backups in the developing world.

Zohaib Sharani, Khushboo Qayyum, Noman Bashir, Affan A. Syed

Proceedings of the Fifth International Conference on Future Energy Systems, 2014