ResearchBenchmarksHardware Security Assertion and Flaw Detection on UARTFollow33Correct Assertions CountAssertain20.5223.762730.24Apr 2, 2026Evaluation ResultsMethodMethodLinksCorrect Assertions CountSyntactic Correctness (%)Functional Correctness (%)Unique CWE CountArchitectural Flaws Detected CountAssertain2026.043310010077Baseline2026.042110010094