works on
formal verification 1hardware generation 1large language models 1rtl synthesis 1stepwise refinement 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.SE2026

Interpretable and Verifiable Hardware Generation with LLM-Driven Stepwise Refinement

You Li, Samuel Mandell, David Z. Pan

The paper presents a framework that uses large language models together with formal transformation rules to iteratively refine a design specification into correct register-transfer…