Skip to main content Skip to main navigation

Publikation

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

Khushboo Qayyum; Muhammad Hassan; Sallar Ahmadi-Pour; Chandan Kumar Jha; Rolf Drechsler
In: 61st Design Automation Conference (DAC). Design Automation Conference (DAC-2024), June 23-27, San Francisco, USA, 2024.

Projekte