LLM Assisted Verification Assertion Generation: Challenges and Future Directions

Bhabesh Mali, Chandan Karfa

Assertion-based Verification (ABV) plays a critical role in the Design Verification (DV) process. However, ABV requires substantial manual effort in generating assertion from speci…