子句规则相关论文
随着集成电路设计和制造技术的不断进步,电路的规模也在不断增大,电路验证和测试领域面临着前所未有的挑战。传统的基于模拟的验证方......
为有界模型检验提出了改进的子句规则。在节点分类的基础上。首先对精简布尔电路表示进行逻辑化简,去掉功能冗余节点;然后识别、记录......