在实际的SoC验证中，对于相等性检查无法验证的部分，我们采取了隔离数据通路的方法，并对现在的一些算法电路的验证理论和发展方向进行了分析。但是形式相等性检查只能检查两个设计是否相等，并不能保证设计本身的功能正确性问题。 基于断言的验证方法，以断言为中心，结合了仿真和属性检查，被认为是最有可能成为下一代的革命性的验证方法。断言最开始用在仿真中，同时断言本身也是基于CTL和LTL的，非常适合描述设计的属性。采用断言描述的属性既可以用在形式验证中对模块的功能进行彻底的验证，也可用在SoC的系统级仿真中起到监控的作用。而且断言是可以综合的，可以映射到FPGA中，在硬件仿真时起到监控作用。基于断言的方法适合SoC从模块级到系统级的验证，在SoC的验证中起到或即将起到重要的作用。 形式验证方法的使用加速了后端设计的速度，同时保证了设计实现的质量，并能够在模块级彻底的证明属性是否成立，彻底的解决SoC设计中的时钟域交叉问题。形式验证的最大好处是彻底性和省时性，它能够对设计进行100％的验证，而不需要开发验证矢量。可以预见形式验证在SoC设计中会得到越来越广泛的使用。