Papers by Debjit Pal
AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation (2025.findings-naacl)
Copied to clipboard
| Challenge: | Assertions have been the de facto collateral for hardware for over a decade. |
| Approach: | They propose a benchmark to evaluate LLMs’ effectiveness for assertion generation quantitatively. |
| Outcome: | The proposed benchmark compares state-of-the-art LLMs with existing benchmarks and shows that they generate higher fractions of functionally correct assertions. |