Assertions

Assert-O: Context-based Assertion Optimization using LLMs

LLM-based context-aware assertion optimization for hardware verification.