随着现代集成电路的密度及性能要求越来越高，导致现在的IC设计愈发艰难，仿真模拟无法更好测试验证IC系统功能，这时就要用上形式验证环节，但是很多人都没听说过形式验证，所以今天讲讲怎么做好形式验证。一般来说，用仿真方法来验证IC系统功能存在两个