论文部分内容阅读
数字系统的验证是一个复杂的过程。结合当前数字电路设计的高复杂度、高度集成化的特性，介绍了模拟验证和形式验证两种验证方法，并对它们进行了分析与比较，然后详细介绍了基于STG图同构求解的控制器综合验证方法。该方法需要两组有限状态机的STG（状态转换图），通过验证两个STG是否同构来验证控制器综合结果的正确与否。实践表明该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题。