Formal Verification on AXI4Lite
139Assertion CountSaarthi
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| SaarthiBackbone=GPT-5, Pass level=Pass@12026.03 | 139 | — | 3 | 72.66 | 44.06 | |
| SaarthiBackbone=GPT-5, Pass level=Pass@32026.03 | 117 | — | 3 | 61.15 | 41.18 | |
| SaarthiBackbone=Llama3.3, Pass level=Pass@32026.03 | 92 | — | 5 | 23.9 | 37.16 | |
| SaarthiBackbone=GPT-5, Pass level=Pass@22026.03 | 87 | — | 3 | 68.96 | 50 | |
| SaarthiBackbone=GPT-4.1, Pass level=Pass@22026.03 | 75 | — | 5 | 40 | 35 | |
| SaarthiBackbone=GPT-4.1, Pass level=Pass@32026.03 | 74 | — | 3 | 62.16 | 41.51 | |
| SaarthiBackbone=GPT-4.1, Pass level=Pass@12026.03 | 69 | — | 5 | 46.37 | 31.29 | |
| SaarthiBackbone=Llama3.3, Pass level=Pass@22026.03 | 60 | — | 5 | 45 | 36.42 | |
| SaarthiBackbone=Llama3.3, Pass level=Pass@12026.03 | 39 | — | 5 | 64.1 | 32.83 |