Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification

Rolf Drechsler

Verification is one of the central tasks in circuit and system design. While simulation and emulation are widely used, complete correctness can only be ensured based on formal proo…