Clock Gating on RTLOPT 1.0 (test)
0.925AreaHuman
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| Humanmode=Standard2026.03 | 0.925 | 30.4 | 0 | |
| GPT-4omode=CODMAS2026.03 | 0.999 | 21.7 | 21.8 | |
| GPT-4omode=LLM-VeriPPA2026.03 | 1.009 | 9.3 | 38.9 | |
| GPT-4omode=Prompting/Agentic2026.03 | 1.01 | 9.1 | 46.8 | |
| DeepSeek-v2.5mode=Prompting/Agentic2026.03 | 1.014 | 7.8 | 48.9 | |
| DeepSeek-v2.5mode=CODMAS2026.03 | 1.015 | 19 | 23.6 | |
| GPT-3.5-turbomode=Prompting/Agentic2026.03 | 1.018 | 7.5 | 49.6 | |
| GPT-3.5-turbomode=LLM-VeriPPA2026.03 | 1.019 | 7.9 | 43.4 | |
| GPT-3.5-turbomode=CODMAS2026.03 | 1.02 | 18.8 | 24.2 | |
| DeepSeek-v2.5mode=LLM-VeriPPA2026.03 | 1.02 | 8.2 | 42.9 | |
| GPT-4omode=Zero-Shot2026.03 | 1.023 | 7.8 | 52.5 | |
| DeepSeek-v2.5mode=Zero-Shot2026.03 | 1.03 | 6.2 | 54.8 | |
| Granite-34bmode=CODMAS2026.03 | 1.03 | 12.9 | 29.5 | |
| GPT-3.5-turbomode=Zero-Shot2026.03 | 1.035 | 6.3 | 55.6 | |
| Granite-34bmode=Zero-Shot2026.03 | 1.037 | 3 | 63 | |
| CodeLlama-34bmode=CODMAS2026.03 | 1.042 | 10.6 | 31.3 | |
| Llama-3mode=CODMAS2026.03 | 1.048 | 16.5 | 26.3 | |
| Granite-34bmode=Prompting/Agentic2026.03 | 1.048 | 5.8 | 59.8 | |
| Granite-34bmode=LLM-VeriPPA2026.03 | 1.049 | 5.9 | 55.8 | |
| CodeLlama-34bmode=LLM-VeriPPA2026.03 | 1.05 | 5.4 | 55.3 | |
| CodeLlama-34bmode=Prompting/Agentic2026.03 | 1.053 | 5.5 | 58.7 | |
| CodeLlama-34bmode=Zero-Shot2026.03 | 1.054 | 3.4 | 61.6 | |
| Llama-3mode=Prompting/Agentic2026.03 | 1.06 | 6.7 | 52.1 | |
| Llama-3mode=LLM-VeriPPA2026.03 | 1.062 | 7 | 46.5 | |
| Llama-3mode=Zero-Shot2026.03 | 1.093 | 5.5 | 58.6 |