有限状态机的双逻辑面积优化

• 作者: 夏银水 林伟建 王伦耀
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Reed-Muller逻辑 有限状态机 遗传算法 逻辑综合 双逻辑 位操作
• 年，卷（期）: 2016,（5）
• 所属期刊栏目: 开发研究与工程应用
• 页码范围: 282-287
• 页数: 6页
• 分类号: TP391.72
• 字数: 6533字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2016.05.049

摘要

针对采用单一的传统布尔逻辑在有限状态机面积优化中的不足,提出一种基于传统布尔逻辑和Reed-Muller(RM)逻辑的双逻辑有限状态机(FSM)面积优化算法.利用不相交乘积项之间的位操作,将函数的逻辑覆盖拆分成分别适合传统布尔逻辑和RM逻辑综合的两部分.采用布尔逻辑乘积项和RM逻辑覆盖对应的字母数作为电路面积的成本函数,指导遗传算法搜索出适合双逻辑综合的状态分配,实现FSM组合电路面积优化.通过MCNC标准电路对算法进行测试.实验结果表明,相比单一的布尔逻辑,采用双逻辑综合后,可使近80％的FSM测试电路面积得到进一步优化.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	夏银水	宁波大学信息科学与工程学院	101	345	9.0	13.0
2	王伦耀	宁波大学信息科学与工程学院	43	177	7.0	10.0
3	林伟建	宁波大学信息科学与工程学院	1	1	1.0	1.0