ResearchBenchmarksHardware Security Assertion and Flaw Detection on AES BuggyFollow31Assertion CountAssertain29.9630.2330.530.77Apr 2, 2026Evaluation ResultsMethodMethodLinksAssertion CountSyntactic Correctness (%)Functional Correctness (%)Unique CWE CountArchitectural Flaws DetectedAssertain2026.043110010067Baseline2026.0430100100116