应秋红, 王伦耀, 储著飞, 夏银水

基于不相交锐积运算的逻辑函数错误率计算

应秋红, 王伦耀*, 储著飞, 夏银水

（宁波大学 信息科学与工程学院, 浙江 宁波 315211）

提出了一种通过比较逻辑覆盖差异的函数错误率计算方法, 该方法主要包括逻辑覆盖不相交锐积运算和双锐积运算, 分别用于实现2个逻辑覆盖之间不相交操作和公共部分删除操作, 进而实现TB逻辑函数之间或RM逻辑函数之间覆盖差异的提取. 通过对所提取覆盖包含的最小项数量统计, 实现函数错误率的计算. 所提出的方法用C语言实现, 并用MCNC测试电路进行测试. 实验结果表明, 该算法可以实现TB函数和RM函数的错误率计算, 且具有运算速度快, 适合处理大逻辑函数的特点.

近似计算; 错误率计算; 逻辑优化

通常逻辑功能正确是电路设计首要条件, 为了保证电路输出正确, 会不惜牺牲电路的功耗、面积和速度等性能指标. 但是在实际应用中, 待处理数据的某些特性, 如容错特性, 在一定程度上的计算错误不影响实际的应用[1]. 例如, 在多媒体处理中, 由于人类的感知能力有限, 偶尔发生丢弃特定的帧或小的图像质量损失通常很少影响用户的满意度. 另外, 随着半导体工艺尺寸进入到纳米级, 电路的供电电压更低, 集成密度更高, 电路输出对工艺参数的波动和故障更加敏感[2]. 待处理数据自身具有的容错特性, 以及降低现有集成电路工艺的高成本, 使得人们重新思考逻辑功能“正……