Khushboo Qayyum

16 papers A* 1A 1B 1Misc 1Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
veriSiM: Formal Verification of SPICE Netlists for MAGIC-Based Logic-in-Memory.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Chandan Kumar Jha, Simranjeet Singh, Khushboo Qayyum, Ankit Bende, Muhammad Hassan, Vikas Rana, Farhad Merchant, Rolf Drechsler
2025 J jnl
Correct and Verify - CAV: Exploiting Binary Decision Diagrams to Enable Formal Verification of Approximate Adders With Correct Carry Bits.
IEEE Trans. Circuits Syst. I Regul. Pap.
Chandan Kumar Jha, Khushboo Qayyum, Muhammad Hassan, Rolf Drechsler
2025 Misc conf
FARAD: Automated Formal Verification of Approximate Restoring Array Dividers.
VLSID
Chandan Kumar Jha, Khushboo Qayyum, Muhammad Hassan, Rolf Drechsler
2025 J jnl
LLM-assisted Bug Identification and Correction for Verilog HDL.
ACM Trans. Design Autom. Electr. Syst.
Khushboo Qayyum, Chandan Kumar Jha, Sallar Ahmadi-Pour, Muhammad Hassan, Rolf Drechsler
2025 B conf
Large Language Models (LLMs) for Verification, Testing, and Design.
ETS
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
2025 — conf
Prompt. Verify. Repeat. LLMs in the Hardware Verification Cycle.
COINS
Muhammad Hassan, Mohamed A. Nadeem, Khushboo Qayyum, Chandan Kumar Jha, Rolf Drechsler
2024 J jnl
EnR: extend and reduce methodology to enable formal verification of truncated adders.
it Inf. Technol.
Chandan Kumar Jha, Khushboo Qayyum, Muhammad Hassan, Rolf Drechsler
2024 — conf
Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification.
ACM Great Lakes Symposium on VLSI
Khushboo Qayyum, Abhoy Kole, Kamalika Datta, Muhammad Hassan, Rolf Drechsler
2024 A conf
LLM-Guided Formal Verification Coupled with Mutation Testing.
DATE
Muhammad Hassan, Sallar Ahmadi-Pour, Khushboo Qayyum, Chandan Kumar Jha, Rolf Drechsler
2024 — conf
LLMs for Hardware Verification: Frameworks, Techniques, and Future Directions.
ATS
Khushboo Qayyum, Sallar Ahmadi-Pour, Chandan Kumar Jha, Muhammad Hassan, Rolf Drechsler
2024 A* conf
Late Breaking Results: LLM-assisted Automated Incremental Proof Generation for Hardware Verification.
DAC
Khushboo Qayyum, Muhammad Hassan, Sallar Ahmadi-Pour, Chandan Kumar Jha, Rolf Drechsler
2024 J jnl
veriSIMPLER: An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing.
IEEE Trans. Circuits Syst. I Regul. Pap.
Chandan Kumar Jha, Khushboo Qayyum, Kemal Çaglar Coskun, Simranjeet Singh, Muhammad Hassan, Rainer Leupers, Farhad Merchant, Rolf Drechsler
2015 — conf
Delivering smart load-shedding for highly-stressed grids.
SmartGridComm
Noman Bashir, Zohaib Sharani, Khushboo Qayyum, Affan A. Syed
2015 — conf
Enabling Practical Demand Response in Highly-Stressed Grids Using Aashiyana.
e-Energy
Muhammad Zohaib Akram Sharani, Noman Bashir, Khushboo Qayyum, Affan A. Syed
2015 J jnl
Enabling Practical Demand Response in Highly-Stressed Grids using Aashiyana.
CoRR
Noman Bashir, Zohaib Sharani, Khushboo Qayyum, Affan A. Syed
2014 — conf
SoftUPS: eliminating the need and cost of battery backups in the developing world.
e-Energy
Zohaib Sharani, Khushboo Qayyum, Noman Bashir, Affan A. Syed