一种组合逻辑环转化方法

• 作者: 史江义 张译 袁莉 许钊 邸志雄 郝跃 马佩军
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 组合逻辑环 逻辑综合 SAT引擎 静态逻辑蕴涵
• 年，卷（期）: 2014,（1）
• 页码范围: 75-80
• 页数: 6页
• 分类号: TP391.72
• 字数: 3459字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2014.01.014

摘要

组合逻辑环能够减少电路逻辑资源,降低电路功耗,但是其难以被静态时序分析工具分析和计算,且难以生成功能验证向量和自动测试图形向量.针对此问题,提出一种组合逻辑环转化方法,以解决硬件描述语言以及高级语言逻辑综合阶段所面临的组合逻辑环拆分问题.不同于采用三值仿真策略的现有文献,引入了布尔可满足引擎对组合逻辑环电路进行了表征,使用静态逻辑蕴涵完成了环形电路的拆分.同时,根据环形电路的形成机理,提出了拆分组合逻辑环结构的规则,用于冗余向量优化以及非环电路的逻辑推理.实验结果表明,这种算法能够正确地拆分组合逻辑环结构,且转化时间短,转化后的电路规模小.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郝跃	西安电子科技大学宽带隙半导体国家重点实验室	312	1866	17.0	25.0
2	马佩军	西安电子科技大学宽带隙半导体国家重点实验室	34	163	8.0	10.0
3	邸志雄	西安电子科技大学宽带隙半导体国家重点实验室	3	11	3.0	3.0
4	史江义	西安电子科技大学宽带隙半导体国家重点实验室	11	33	4.0	5.0
5	袁莉	西安电子科技大学宽带隙半导体国家重点实验室	5	288	4.0	5.0
6	张译	西安电子科技大学宽带隙半导体国家重点实验室	1	3	1.0	1.0