ResearchBenchmarksHardware Security Assertion and Flaw Detection on SoC_SubsystemFollow33Assertion Correctness CountBaseline31.9632.2332.532.77Apr 2, 2026Evaluation ResultsMethodMethodLinksAssertion Correctness CountSyntactic CorrectnessFunctional CorrectnessUnique CWE CountArchitectural Flaws Detected CountBaseline2026.043310010077Assertain2026.04328888158