FormalRTL: Verified RTL Synthesis at Scale

Kezhi Li, Min Li, Xiangyu Wen +4

Large language models (LLMs) have demonstrated significant potential in automating hardware synthesis, yet substantial barriers remain for industrial-scale, datapath-centric design…