Comparing Different Variants of the ic3 Algorithm for Hardware Model Checking.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems（2016）
摘要
IC3 is one of the most successful algorithms for hardware model checking. Since its invention in 2010, several variants of the original algorithm have been published, proposing optimizations and/or alternative procedures for many different steps of the algorithm. In this paper, we present a thorough empirical comparison of a large set of optimizations and procedures for the steps of IC3, consideri...
更多查看译文
关键词
Model checking,Hardware,Algorithm design and analysis,Benchmark testing,Computational modeling,Concrete,Optimization
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要