SOC的形式化验证方法

Formal verification methods for SOC

如何对片上系统(SOC)来进行验证,是一个比较复杂的问题。本文介绍了用形式化方法来验证SOC,讨论在对SOC进行等价性验证时应注意的几个问题以及解决的方法。最后给出了对SOC验证的一般方法。

How to verify System On Chip（SOC）is a complicated problem. In this paper, formal methods for SOC verification is introduced, several problems during equivalent verification are pointed out and analyzed. At last,a method of SOC verification is given.