ResearchBenchmarksHardware Security Assertion and Flaw Detection on Store_UnitFollow50Correct Assertions CountAssertain20.8828.443643.56Apr 2, 2026Evaluation ResultsMethodMethodLinksCorrect Assertions CountSyntactic Correctness (%)Functional Correctness (%)Unique CWE CountArchitectural Flaws Detected CountAssertain2026.04501001001515Baseline2026.042210010089