|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | 逻辑函数的双逻辑综合与优化显示文摘针对传统布尔逻辑在电路面积优化中存在的不足,提出了一种用传统布尔逻辑和Reed-Muller(RM)逻辑相结合的双逻辑优化算法.通过将原逻辑函数的乘积项转化为不相交乘积项,并利用不相交乘积项的位操作,将逻辑函数的覆盖分成2个部分,使之分别适合布尔逻辑综合和RM逻辑综合;同时提出了适合双逻辑函数的逻辑功能验证方法.双逻辑优化算法用C语言编程实现并用MCNC标准电路进行测试.实验结果表明,与单一的布尔逻辑综合结果相比,在绝大多数情况下文中算法可使电路面积获得进一步优化. | 王伦耀 夏银水 陈偕雄 | 2012 | 计算机辅助设计与图形学学报2012，24，7： | 16 |
| 2 | 基于多数覆盖的二级MPRM函数逻辑优化显示文摘利用不相交乘积项之间逻辑'或'和逻辑'异或'可以互换的特性,该文将原逻辑函数转化成由不相交乘积项组成的二级混合极性Reed-Muller(MPRM)函数。然后通过搜索不相交乘积项的多数覆盖和检测乘积项间的位操作结果,实现了二级MPRM函数的优化。另外,该文还提出一种基于逻辑覆盖的功能验证方法也被提出用于验证逻辑函数优化前后逻辑功能的等效性。实验显示,与已发表的方法相比,该文的优化算法在保证优化效果的同时使运算速度获得了明显的改进。 | 王伦耀 夏银水 陈偕雄 | 2012 | 电子与信息学报2012，34，4： | 6 |
| 3 | 基于不相交乘积项的逻辑探测和拆分算法显示文摘针对以往逻辑探测算法存在的不足,提出了一种基于不相交乘积项的逻辑探测和拆分算法.该算法通过将逻辑函数的乘积项转化为不相交乘积项,并结合不相交乘积项之间海明距关系将不相交乘积项拆分成互不相交的二部分,使之分别适合RM逻辑综合和布尔逻辑综合.通过对拆分结果分析,本文进一步提出了一种新的逻辑探测方法.实验结果表明,本文的判别结果能对电路综合过程中的逻辑选择提供一个良好的指导作用. | 王伦耀 夏银水 陈偕雄 叶锡恩 | 2012 | 电子学报2012，40，10： | 3 |
| 4 | 基于双逻辑门级图形表示的功耗优化技术显示文摘针对现有基于传统布尔逻辑进行逻辑级功耗优化的局限性,提出逻辑函数基于传统布尔逻辑和Reed-Muller逻辑的双逻辑门级图形表示的功耗优化方法.首先在逻辑级采用简化有序二叉决策图实现逻辑函数的双逻辑表示;然后通过代数分解和布尔分解获得双逻辑门级表示,进而基于功耗成本估算进行门级功耗优化;最后实现变量级和门级的两层次的优化方法.与学术界著名的ABC和工业界最先进的工具Design Compile(DC)进行比较的实验结果表明,该方法均具有一定的优势. | 马雪娇 厉琼莹 张骏立 夏银水 | 2017 | 计算机辅助设计与图形学学报2017，29，3： | 3 |
| 5 | 基于逻辑函数e导数的双逻辑综合显示文摘讨论了逻辑函数的e导数与逻辑函数化简的关系,并在此基础上提出了基于逻辑函数e导数化简逻辑函数的新方法.由于采用了双逻辑综合,逻辑综合效果优于传统的基于与-或-非运算的逻辑综合. | 马汝星 陈偕雄 杜歆 | 2014 | 浙江大学学报(理学版)2014，41，1： | 1 |
| 6 | 有限状态机的双逻辑面积优化显示文摘针对采用单一的传统布尔逻辑在有限状态机面积优化中的不足,提出一种基于传统布尔逻辑和ReedMuller(RM)逻辑的双逻辑有限状态机(FSM)面积优化算法。利用不相交乘积项之间的位操作,将函数的逻辑覆盖拆分成分别适合传统布尔逻辑和RM逻辑综合的两部分。采用布尔逻辑乘积项和RM逻辑覆盖对应的字母数作为电路面积的成本函数,指导遗传算法搜索出适合双逻辑综合的状态分配,实现FSM组合电路面积优化。通过MCNC标准电路对算法进行测试。实验结果表明,相比单一的布尔逻辑,采用双逻辑综合后,可使近80%的FSM测试电路面积得到进一步优化。 | 林伟建 王伦耀 夏银水 | 2016 | 计算机工程2016，42，5： | 0 |
| 7 | 适合RM逻辑实现的逻辑搜索和拆分算法显示文摘针对以往算法在搜索适合Reed-Muller(RM)逻辑实现的逻辑子覆盖中存在的不足,提出基于不相交乘积项的搜索方法.该方法通过将逻辑函数转化为不相交乘积项的集合,并搜索符合约束条件的不相交乘积项的多数覆盖以及根据乘积项之间的位操作结果,将逻辑函数拆分成二部分,使之分别适合RM逻辑实现和传统布尔逻辑实现.提出的算法用C编程实现,并用MCNC电路测试.实验结果表明,相比于以往的方法,提出的算法能够有效扩大搜索范围,并且具有运行速度快且对逻辑函数的输入变量数量不敏感等特点. | 王伦耀 夏银水 陈偕雄 | 2012 | 浙江大学学报(工学版)2012，46，11： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员