一种新的判定逻辑函数适于异或逻辑实现的探测算法

摘要：

通过对逻辑函数相应二元决策图BDD结构特点的研究,提出了一种用特征三角形来判定逻辑函数适于异或逻辑实现的方法并给出了相应算法。所提出的算法采用C语言进行实现,并对MCNCbenchmark电路进行了测试,结果验证了算法的有效性。

关键词： 布尔逻辑 Reed-Muller逻辑 特征三角形 探测算法 逻辑函数

作者: 孙飞 夏银水

作者单位: 宁波大学电路与系统研究所 浙江 宁波 315211

会议类型: 国内会议

会议名称: 第21届电路与系统学术年会

会议地点: 北京·天津

会议语种:中文

页码: 252-255

在线出版日期: 2008-11-28（万方平台首次上网日期，不代表论文的发表时间）