AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation

Vaishnavi Pulavarthi, Deeksha Nandal, Soham Dan +1

Assertions have been the de facto collateral for simulation-based and formal verification of hardware designs for over a decade. The quality of hardware verification, \ie, detectio…