J4 ›› 2014, Vol. 41 ›› Issue (1): 75-80.doi: 10.3969/j.issn.1001-2400.2014.01.014

• 研究论文 • 上一篇    下一篇

一种组合逻辑环转化方法

邸志雄;史江义;马佩军;张译;袁莉;郝跃;许钊   

  1. (西安电子科技大学 宽带隙半导体国家重点实验室,陕西 西安  710071)
  • 收稿日期:2013-04-23 出版日期:2014-02-20 发布日期:2014-04-02
  • 通讯作者: 邸志雄
  • 作者简介:邸志雄(1984-),男,西安电子科技大学博士研究生,E-mail:dizhixiong2@126.com.
  • 基金资助:

    中央高校基本科研业务费专项资金资助项目(K5051325010)

Method for transforming cyclic circuits into acyclic equivalents

DI Zhixiong;SHI Jiangyi;MA Peijun;ZHANG Yi;YUAN Li;HAO Yue;XU Zhao   

  1. (State Key Lab. of Wide Bandgap Semiconductor Technology Disciplines, Xidian Univ., Xi'an  710071, China)
  • Received:2013-04-23 Online:2014-02-20 Published:2014-04-02
  • Contact: DI Zhixiong

摘要:

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

关键词: 组合逻辑环, 逻辑综合, SAT引擎, 静态逻辑蕴涵

Abstract:

The cyclic circuit is capable of reducing the area and power consumption, but it is difficult for tools such as static timing analyzers to analyze and compute. Furthermore, the simulation and DFT for the cyclic circuit are more expensive and complicated. Thus, a method for transforming cyclic circuits into acyclic equivalents based on the SAT(Boolean Satisfiability) is presented in this paper in order to remove the unwanted cycles in the high-level synthesis process. Different from the available researches, the SAT and static logic implication are introduced in this paper. Meanwhile, by analyzing the structure and mechanism of the cyclic circuits, some novel rules are presented to obtain the acyclic equivalents more precisely and effectively. Experiments are performed in our scientific research projects and the IPs which come from Opencore. And the transforming time and the area are decreased by 28% and 16%.

Key words: cyclic circuit, synthesis, Boolean Satisfiability(SAT), static logic implication

中图分类号: 

  • TP391.72