Improving Hardware Verification Efficiency by Fusion of Formal Methods and Simulation

点击翻译按钮获取中文摘要

Formal methods and simulation-based methods have been used for hardware verification in practical industrial designs. How to combine these two methods, however, has not been studied extensively yet. In this research, in terms of qualita tive verification metrics, we show effectiveness of our new approach, in which based on the results of simulation runs, a formal method is applied for improving the coverage metrics. We also show some experimental results, in which for a block module of se veral thousands of gates, the proposed method is effective.