Formal Circuits GPT

Overview

This self-refining agent automates the verification of digital circuits by converting hardware descriptions into formal proofs using Large Language Models. It is designed for engineers and researchers working in hardware verification and formal methods.