Arcane: An Assertion Reduction Framework through Semantic Clustering and MCTS-Guided Rule Exploring

arXiv:2605.10107v1 Announce Type: new Abstract: 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...