| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| Rocket hardware design | SecIC3 | Verification Time1.8 | 8 | 1mo ago | |
| Sodor | SecIC3 | Verification Time0.4 | 8 | 1mo ago | |
| FP_DIV hardware design | SecIC3 | Proof Bound65 | 8 | 1mo ago | |
| GCD hardware design | SecIC3 | Verification Time9.3 | 8 | 1mo ago | |
| Modexp hardware design | SecIC3 | Verification Time0.4 | 8 | 1mo ago | |
| Multiplier hardware design | SecIC3 | Verification Time0.1 | 8 | 1mo ago | |
| SecEnclave hardware design | SecIC3 | Verification Time1.9 | 7 | 1mo ago | |
| Cache hardware design | SecIC3 | Verification Time162 | 6 | 1mo ago | |
| FP_ADD | SecIC3 | Proof Bound13 | 4 | 1mo ago |
