AINeutralarXiv – CS AI · 9h ago6/10
🧠
Arcane: An Assertion Reduction Framework through Semantic Clustering and MCTS-Guided Rule Exploring
Arcane is a new assertion reduction framework that uses semantic clustering and Monte Carlo Tree Search to eliminate redundant assertions in hardware verification, achieving up to 76.2% reduction in assertion count while maintaining full formal coverage and enabling 2.6x to 6.1x simulation speedups.