基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
针对逻辑函数基于单一的传统布尔逻辑(TB逻辑)进行逻辑优化的局限性,提出基于TB逻辑和Reed-Muller逻辑(RM逻辑)的双逻辑图形表示的面积优化方法.首先将逻辑函数表示成以“与”、“异或”、“非”为运算集的AXIG(AND/XOR/INV graph),得到逻辑函数的双逻辑图形表示;然后将所得到的AXIG划分成适合TB逻辑和适合RM逻辑的2部分分别进行逻辑优化;最终实现逻辑函数的面积优化.实验结果表明,该方法优于已有的逻辑综合方法.
推荐文章
有限状态机的双逻辑面积优化
Reed-Muller逻辑
有限状态机
遗传算法
逻辑综合
双逻辑
位操作
多级逻辑面积优化设计方法
匹配
布尔网络
主题图
覆盖
基于双距离门逻辑判决的冲激引信信号处理方法
冲激引信
双距离门
抽样积分
双路目标回波信号
能量判决
时序逻辑判决
逻辑再优化设计方法
匹配
布尔网络
主题图
覆盖
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 AXIG及其基于双逻辑的面积优化
来源期刊 计算机辅助设计与图形学学报 学科 工学
关键词 Reed-Muller逻辑 与异或非图 分解 面积优化
年,卷(期) 2017,(7) 所属期刊栏目 VLSI设计与测试及电子设计自动化
研究方向 页码范围 1380-1388
页数 9页 分类号 TP391.41
字数 6363字 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 夏银水 宁波大学电路与系统研究所 101 345 9.0 13.0
2 赵思思 宁波大学电路与系统研究所 2 3 1.0 1.0
3 张骏立 宁波大学电路与系统研究所 4 11 2.0 3.0
4 厉琼莹 宁波大学电路与系统研究所 4 11 2.0 3.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (32)
共引文献  (19)
参考文献  (10)
节点文献
引证文献  (2)
同被引文献  (3)
二级引证文献  (0)
1986(1)
  • 参考文献(1)
  • 二级参考文献(0)
1987(1)
  • 参考文献(1)
  • 二级参考文献(0)
1992(1)
  • 参考文献(1)
  • 二级参考文献(0)
1999(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(2)
  • 参考文献(0)
  • 二级参考文献(2)
2001(1)
  • 参考文献(0)
  • 二级参考文献(1)
2002(6)
  • 参考文献(1)
  • 二级参考文献(5)
2003(5)
  • 参考文献(0)
  • 二级参考文献(5)
2006(6)
  • 参考文献(0)
  • 二级参考文献(6)
2007(6)
  • 参考文献(1)
  • 二级参考文献(5)
2008(2)
  • 参考文献(0)
  • 二级参考文献(2)
2009(5)
  • 参考文献(2)
  • 二级参考文献(3)
2011(1)
  • 参考文献(0)
  • 二级参考文献(1)
2012(3)
  • 参考文献(2)
  • 二级参考文献(1)
2015(1)
  • 参考文献(1)
  • 二级参考文献(0)
2017(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2019(1)
  • 引证文献(1)
  • 二级引证文献(0)
2020(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
Reed-Muller逻辑
与异或非图
分解
面积优化
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机辅助设计与图形学学报
月刊
1003-9775
11-2925/TP
大16开
北京2704信箱
82-456
1989
chi
出版文献量(篇)
6095
总下载数(次)
15
总被引数(次)
94943
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导