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

@inproceedings{pub14867,
    author = {

Qayyum, Khushboo
 and 

Hassan, Muhammad
 and 

Ahmadi-Pour, Sallar
 and 

Jha, Chandan Kumar
 and 

Drechsler, Rolf
},
    title = {Late Breaking Results: LLM-assisted Automated Incremental Proof Generation for Hardware Verification},
    booktitle = {61st Design Automation Conference (DAC). Design Automation Conference (DAC-2024), June 23-27, San Francisco, United States},
    year = {2024}
}