ResearchTasksHardware GenerationHardware GenerationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedResBench 56 problemsCodeV100Compile Success Rate5May 11, 2026RTLLM 50 problemsCKTFORMALIZER (synth)96Compile Success Rate5May 11, 2026VerilogEval 156 problemsCKTFORMALIZER (synth)99.4Compilation Rate5May 11, 2026