RTL code functionality equivalence checking on DeepRTL2 Benchmark
66.7AP
DeepRTL2
Updated 4d ago
Evaluation Results
| Method | Links | |
|---|---|---|
2025.05 | 66.7 | |
2025.05 | 59.1 | |
2025.05 | 56.5 | |
2025.05 | 54.1 | |
2025.05 | 51.8 | |
2025.05 | 49.8 | |
2025.05 | 48.1 |
DeepRTL2
| Method | Links | |
|---|---|---|
2025.05 | 66.7 | |
2025.05 | 59.1 | |
2025.05 | 56.5 | |
2025.05 | 54.1 | |
2025.05 | 51.8 | |
2025.05 | 49.8 | |
2025.05 | 48.1 |