期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
AXIG及其在双逻辑综合中的应用
1
作者 张骏立 夏银水 厉琼莹 《无线通信技术》 2016年第2期29-34,38,共7页
逻辑电路既可以用基于"与/或/非"的传统布尔逻辑(TB逻辑)来实现,也可以用基于"与/异或"的Reed-Muller逻辑(RM逻辑)来实现,如何对给定逻辑函数进行适合逻辑实现的逻辑探测成为需要解决的第一步。本文提出了一种基于... 逻辑电路既可以用基于"与/或/非"的传统布尔逻辑(TB逻辑)来实现,也可以用基于"与/异或"的Reed-Muller逻辑(RM逻辑)来实现,如何对给定逻辑函数进行适合逻辑实现的逻辑探测成为需要解决的第一步。本文提出了一种基于与/异或/非门(AND/XOR/INV)的双逻辑图形(AXIG)表示,然后通过优化AXIG实现逻辑函数适合逻辑实现的探测。 展开更多
关键词 双逻辑 axig ROBDD 布尔分解 逻辑探测
原文传递
基于AXIG重构的功耗优化
2
作者 马雪娇 夏银水 尹浩凯 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2018年第12期2344-2352,共9页
功耗优化是逻辑综合中的重要部分.针对现有功耗优化仅用单一逻辑实现的局限性,提出一种基于与-非图节点重构和与-异或-非图变量重构的功耗优化方法.首先以功耗为主要优化目标,将逻辑函数表示为与-非图并进行节点重构,得到与-异或-非图... 功耗优化是逻辑综合中的重要部分.针对现有功耗优化仅用单一逻辑实现的局限性,提出一种基于与-非图节点重构和与-异或-非图变量重构的功耗优化方法.首先以功耗为主要优化目标,将逻辑函数表示为与-非图并进行节点重构,得到与-异或-非图实现函数表示由单一逻辑到双逻辑的变换;然后在与-异或-非图中搜索模式图,由变量重构得到其等价模式图;最后根据模式图特征选取最优匹配子图进一步优化功耗.实验在Linux系统下采用C语言实现,结果表明,与优化工具ABC,AIG重写和AXIG优化方法相比,该方法的功耗分别减少24.56%,21.75%和9.39%. 展开更多
关键词 逻辑综合 功耗优化 与-异或-非图 节点和变量重构 模式图
在线阅读 下载PDF
基于与异或非图的混合粒度可重构密码运算单元设计
3
作者 戴紫彬 张宗仁 +2 位作者 刘燕江 周朝旭 蒋丹萍 《电子与信息学报》 EI CSCD 北大核心 2023年第9期3370-3379,共10页
粗粒度可重构密码逻辑阵列(CGRCA)难以兼容细粒度序列密码算法,且在编码环节功能单元容易出现竞争冲突,进而导致阵列的资源利用率低和延迟大等问题。为此,利用与-异或-非图(AXIG)双逻辑表达的优势,该文提出一种混合粒度的可重构的多功... 粗粒度可重构密码逻辑阵列(CGRCA)难以兼容细粒度序列密码算法,且在编码环节功能单元容易出现竞争冲突,进而导致阵列的资源利用率低和延迟大等问题。为此,利用与-异或-非图(AXIG)双逻辑表达的优势,该文提出一种混合粒度的可重构的多功能密码运算单元,并在晶体管级进行了实现验证,可兼容现有序列密码算法中非线性布尔函数,在延迟和面积-延迟积(ADP)方面均有提升。设计了可重构与、异或、与非(RAXN)逻辑元件,可同时重构“And,Xor,Nand”等逻辑功能,并提出了RAXN的晶体管级实现方法和版图结构;提出了基于RAXN的功能扩展方法,实现了全加器功能、与/异或3输入逻辑功能以及乘法部分积生成功能,并作为基本功能单元(RAXN_U);结合动态配置和动态调度的思想,利用阵列中互联资源和RAXN_U,设计一种可同时实现32bit加法、8 bit乘法、CF(2^(8))有限域乘法,以及包括S盒在内的复杂非线性布尔函数的混合粒度多功能密码运算单元(RHMCA)。在CMOS 40 nm工艺进行后端定制化设计,实验结果表明,该文提出的多功能单元较传统的实现方法,延迟最好情况优化1.27 ns,面积-延迟积(ADP)值最大提升44.8%。 展开更多
关键词 密码运算单元 多功能可重构 混合粒度 与-异或-非图
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部