# FVEval

Source: [FVEval](<https://www.sota2.com/research/dataset/fveval>)

Collection index: [llms.txt](<https://www.sota2.com/research/llms.txt>)

A research result applies to its stated dataset, split, metric and evaluation configuration. Compare like-for-like settings, preserve the metric's unit and direction, and distinguish paper-reported results from independent reproduction. The best result recorded here is not a claim of exhaustive, current global coverage.

## Benchmarks

Page 1 of 1. This is an index page, not the full collection.

- [SVA Generation on FVEval Design2SVA (FSM Designs)](<https://www.sota2.com/research/sota/sva-generation-on-fveval-design2sva-fsm-designs.md>): SVA Generation; FVEval Design2SVA (FSM Designs).

- [SVA Generation on FVEval Design2SVA Pipeline Designs](<https://www.sota2.com/research/sota/sva-generation-on-fveval-design2sva-pipeline-designs.md>): SVA Generation; FVEval Design2SVA Pipeline Designs.