浙江省自然科学基金(LY12F01014)
- 作品数：2 被引量：6H指数：1
- 相关作者：王伦耀夏银水王玉花陈偕雄更多>>
- 相关机构：宁波大学浙江大学更多>>
- 发文基金：浙江省自然科学基金国家自然科学基金宁波市自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 适合RM逻辑实现的逻辑搜索和拆分算法
- 2012年
- 针对以往算法在搜索适合Reed-Muller(RM)逻辑实现的逻辑子覆盖中存在的不足,提出基于不相交乘积项的搜索方法.该方法通过将逻辑函数转化为不相交乘积项的集合,并搜索符合约束条件的不相交乘积项的多数覆盖以及根据乘积项之间的位操作结果,将逻辑函数拆分成二部分,使之分别适合RM逻辑实现和传统布尔逻辑实现.提出的算法用C编程实现,并用MCNC电路测试.实验结果表明,相比于以往的方法,提出的算法能够有效扩大搜索范围,并且具有运行速度快且对逻辑函数的输入变量数量不敏感等特点.
- 王伦耀夏银水陈偕雄
- 关键词：逻辑优化
- 基于不相交项并行列表技术的FPRM实现被引量：6
- 2014年
- 针对传统列表技术在逻辑函数从AND/OR形式转化成固定极性Reed-Muller(FPRM)过程中只能处理小规模电路的不足,该文提出一种基于不相交乘积项的并行列表技术。该技术能有效避免转化算法因逻辑函数输入变量增加引起最小项数量激增而导致效率低下甚至无法工作这种情况。另外,不同于已发表的用于实现大电路的转化算法,待处理的电路结构对该方法的性能影响很小。提出的算法用C语言编程实现,并用MCNC标准电路进行测试。实验结果表明所提算法可以对更大规模电路实现快速FPRM转换,并且算法速度对电路输入个数不敏感,但与待处理逻辑函数的不相交乘积项的数量有关。
- 王玉花王伦耀夏银水
- 关键词：数字电路固定极性逻辑优化
