Architecture

Using LLMs to Facilitate Formal Verification of RTL
Research

Using LLMs to Facilitate Formal Verification of RTL

Abstract To mitigate the burden of writing SystemVerilog Assertions (SVA) for Formal Property Verification (FPV), this study explores using LLMs like GPT-4 to automatically generate verification properties directly from RTL code. Researchers designed
By Admin 2 min read