ResearchBenchmarksHardware Security Assertion and Flaw Detection on Door LockFollow27Correct AssertionsAssertain11.415.4519.523.55Apr 2, 2026Evaluation ResultsMethodMethodLinksCorrect AssertionsSyntactic CorrectnessFunctional CorrectnessUnique CWE CountArchitectural Flaws DetectedAssertain2026.04278989112Baseline2026.0412737370