Soham Dan

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

2025

Assertions have been the de facto collateral for hardware verification for over a decade.The verification quality, i.e., detection and diagnosis of corner-case design bugs, is critically dependent on the assertion quality.There has been a considerable …