ResearchDatasetsPRESENTFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsPSCA Security VerificationPRESENT HPC1 RTL (stable)—Primary metric0PSCA Security VerificationPRESENT DOM RTL (transient)—Primary metric0PSCA Security VerificationPRESENT DOM RTL stable—Primary metric0