CTL公式相关论文
文章根据OBDD模型检测的基本思想并结合一个微波炉模型实例来介绍一种基于状态编码的OBDD模型检测算法实现。该算法实现通过介绍自......
为提高程序编写的正确率,减少软件开发和维护开销,提出一种基于错误模式和模型检验的静态代码分析方法。该方法将C语言程序常见的......
随着集成电路设计技术的发展，芯片的设计越来越复杂。如何保证设计的功能正确，这是验证工程师所面临的一个严峻问题。由于集成电路规......
