ResearchBenchmarksHardware Security Assertion and Flaw Detection on I2CFollow39Correct Assertions CountAssertain34.8435.923738.08Apr 2, 2026Evaluation ResultsMethodMethodLinksCorrect Assertions CountSyntactic CorrectnessFunctional CorrectnessUnique CWE CountArchitectural Flaws Detected CountAssertain2026.0439959576Baseline2026.043510010055