ResearchDatasetsuartFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsState register identificationuart100Recall3Semantic Alignment ClassificationUART (test)325Count of SVA2Hardware Security Assertion and Flaw DetectionUART33Correct Assertions Count2Hardware Trojan DetectionUART—Primary metric0