RTL

Testing AI Hardware Verification: EquivSVA Dataset Reveals LLM Robustness Across Equivalent RTLs

硬體驗證 AI 的試金石：EquivSVA 形式驗證資料集，揪出 LLM 程式碼生成的虛實

EquivSVA is a formally verified open-source dataset designed to evaluate LLM robustness in generating SystemVerilog Assertions (SVA), featuring 120 'behavior families' across 480 equivalent RTL implementations.