AI RESEARCH
Arcane: An Assertion Reduction Framework through Semantic Clustering and MCTS-Guided Rule Exploring
arXiv CS.AI
•
ArXi:2605.10107v1 Announce Type: new Assertion-based Verification (ABV) is essential for ensuring that hardware designs conform to their intended specifications. However, existing automated assertion-generation approaches, such as LLM-based frameworks, often generate large numbers of redundant assertions, which significantly degrade simulation efficiency. To mitigate the simulation overhead caused by redundant assertions, this paper proposes Arcane, an efficient assertion reduction framework.