一种数字硬件电路逻辑错误诊断机制制造技术

本发明专利技术公开了提供一种更好的数字硬件电路诊断机制，通过将基于可满足的增量等价性检验方法应用到错误诊断过程中，利用候选区域内部结构的相似性，排除一些候选区域，提高错误检查的处理速度。通过将增量等价性检验方法、逻辑模拟以及布尔可满足性等多种形式化方法综合起来系统地提高设计的稳定性和可靠性。

【技术实现步骤摘要】

【技术保护点】
一种数字硬件电路逻辑错误诊断方法，其特征在于是这样实现的：步骤一：过滤候选区域根据候选错误区域的内部特点，利用结构相似性有选择地去掉一些候选区域。从选出的候选区域中找到等价的区域对，即可能等价的区域对，可以采用拓扑排序的方法，即按扇入优先的次序排序，这样可以使以前推导出来的内部等价性能够为后面的等价性推导过程所用，即通过等价区域置换来简化miter电路。该方法的核心步骤是，利用增量可满足性算法，按拓扑排序依次验证所有候选区域的等价性或证明他们是不等价的。如果一个区域f是一个已经证明不包含错误的区域，在该区域设置一个标志x，该标志的输出为1，另一个候选区域为g，把g区域的输出与x连接到一个异或门...

【技术特征摘要】

【专利技术属性】
技术研发人员：傅翠娇，王锐，栾钟治，钱德沛，
申请(专利权)人：北京航空航天大学，
类型：发明
国别省市：