ResearchBenchmarksHardware Security Assertion and Flaw Detection on DMI_JTAGFollow30Correct AssertionsAssertain11.2816.142125.86Apr 2, 2026Evaluation ResultsMethodMethodLinksCorrect AssertionsSyntactic CorrectnessFunctional CorrectnessUnique CWE CountArchitectural Flaws DetectedAssertain2026.04309797112Baseline2026.0412929260