ResearchBenchmarksHardware Security Assertion and Flaw Detection on CSR_ModuleFollow46Assertion CountAssertain22.0828.2934.540.71Apr 2, 2026Evaluation ResultsMethodMethodLinksAssertion CountSyntactic CorrectnessFunctional CorrectnessUnique CWE CountArchitectural Flaws DetectedAssertain2026.04461001001510Baseline2026.0423100100118