ResearchBenchmarksHardware Security Assertion and Flaw Detection on MMUFollow42Correct Assertions CountAssertain17.0423.523036.48Apr 2, 2026Evaluation ResultsMethodMethodLinksCorrect Assertions CountSyntactic Correctness (%)Functional Correctness (%)Unique CWE CountArchitectural Flaws Detected CountAssertain2026.04421001001515Baseline2026.041810010056