期刊文献+

基于同步EDA工具的异步电路设计流程 被引量:2

A Novel Flow for Asynchronous Circuit Design Using Synchronous EDA Tools
下载PDF
导出
摘要 随着VLSI技术的迅猛发展与应用需求的不断提高,微处理器中的功耗、时钟偏移等问题越来越严重,异步电路及其设计方法受到广泛关注.异步电路设计缺乏通用商业EDA工具的支持,现有的基于同步EDA工具的异步电路设计方法存在复杂度高等问题.提出了一种新的异步电路设计流程.该流程充分利用现有同步EDA工具,通过采用多路虚拟时钟综合方法对电路进行逻辑综合,以及在后端实现时对异步控制通路进行定量延迟分析和精确延迟匹配,可以得到更加优化的电路.使用该流程在UMC 0.18μm工艺下实现了一款异步微处理器内核,实验结果表明该流程能快速有效地进行大规模异步集成电路的设计实现. With the rapid development of VLSI technology and the great increase of application requirements, the synchronous circuit with global clock has encountered several crucial problems, such as great clock skew and high power dissipation. Heightened interest in low power consumption and growing concern over clock skew have encouraged the use of asynchronous techniques as a viable approach to future circuit design. But the wide acceptance of asynchronous circuits has been hindered by the lack of commercial EDA tools. Since current design methodologies are difficult for VLSI design and implementation, a novel design flow for asynchronous circuits is presented. By fully using conventional EDA tools, this flow can improve the efficiency and decrease the difficulties of design as well. To obtain optimized circuit structure, multi-virtual clock method is used for logic synthesis. The delay of asynchronous control path is also accurately matched through a quantitative analysis approach. Based on this flow, an asynchronous microprocessor core in UMC 0. 18 pm process is designed and implemented. Experimental results show that this flow can make the design of asynchronous circuits easily and effectively, and the asynchronous circuit style can offer a low power solution for future microprocessor design.
出处 《计算机研究与发展》 EI CSCD 北大核心 2012年第9期2027-2035,共9页 Journal of Computer Research and Development
基金 国家自然科学基金项目(60873015) 国家"九七三"重点基础研究发展计划基金项目(2007CB310901)
关键词 异步电路 设计流程 EDA工具 综合优化 延迟匹配 asynchronous circuit design flow EDA tool synthesis optimization matched delay
  • 相关文献

参考文献14

  • 1Sparso J, Furber S. Principles of Asynchronous Circuit Design-A Systems Perspective [M]. Boston: Kluwer Academic Publishers, 2001.
  • 2Stevens K S, Xu Y, Vii V. Characterization of asynchronous templates for integration into clocked CAD flows [C]//Proc of IEEE Syrup on Advanced Research in Asynchronous Circuits and Systems. Los Alamitos, CAz IEEE Computer Society, 2009:151-161.
  • 3Kondratyev A, Lwin K. Design of asynchronous circuits by synchronous CAD tools [C]//Proc of Design Automation Conference. New Yorkt ACM, 20021 411-414.
  • 4Ferretti M, Ozdag R O, Beerel P A. High performance asynchronous design using single-track full-buffer standard cells [C] //Proc of IEEE Symp on Advanced Research in Asynchronous Circuits and Systems. Los Alamitos, CA: IEEE Computer Society, 2004:95-105.
  • 5Sotiriou C P. Implementing asynchronous circuits using a conventional EDA tool-flow [C]//Proc of Design Automation Conf. New York: ACM, 2002: 415-418.
  • 6Quinton B R, Greenstreet M R, Wilton S J E. Asynchronous IC interconnect network design and implementation using a standard ASIC flow [C] //Proe of Int Conf on Computer Design. Los Alamitos, CA: IEEE Computer Society, 2005 267-274.
  • 7李勇,王蕾,龚锐,戴葵,王志英.一种32位异步乘法器的研究与实现[J].计算机研究与发展,2006,43(12):2152-2157. 被引量:12
  • 8石伟,任洪广,王志英,陆洪毅,王友瑞,苏博.AFMC:一种新的异步电路设计自动化流程[J].计算机研究与发展,2011,48(4):683-690. 被引量:2
  • 9李翔宇,孙义和.使用同步电路综合工具优化异步电路[J].计算机辅助设计与图形学学报,2006,18(8):1098-1102. 被引量:6
  • 10王兵,彭瑞华,王琴.一种基于Muller流水线的异步流水线物理实现流程[J].上海交通大学学报,2008,42(7):1173-1177. 被引量:2

二级参考文献40

  • 1李勇,王蕾,龚锐,戴葵,王志英.一种32位异步乘法器的研究与实现[J].计算机研究与发展,2006,43(12):2152-2157. 被引量:12
  • 2龚锐.异步乘法器设计与实现关键技术研究[D].长沙:国防科学技术大学,2005.
  • 3Sokolov D, Yakovlev A. Clockless circuits and system synthesis[J]. IEE Proceedings, Computers and Digital Techniques, 2005, 152(3): 298-316.
  • 4Kol R, Ginosar R. A doubly-latched asynchronous pipeline [C] //Proc of 1997 Int Conf on Computer Design= VLSI in Computers and Processors (ICCD). Piscataway, N J: IEEE, 1997:706-711.
  • 5Cortadella J, Kondratyev A, Lavagno L, et al. Desynchronization: Synthesis of asynchronous circuits from synchronous specifications [J]. IEEE Trans on Computer-Aided Design, 2006, 25(10): 1904-1921.
  • 6Fant K M, Brandt S A. Null conventional logic: A complete and consistent logic for asynchronous digital circuit synthesis [C] //Proe of 1996 Int Conf on Application Specific System, Architecture, and Processors (ASAP). Piscataway, NJ: IEEE, 1996:261-274.
  • 7Linder D H, Harden J C. Phased logic: Supporting the synchronous design paradigm with delayqnsensitive circuitry [J]. IEEE Trans on Computers, 1996, 45(9): 1031-1044.
  • 8Andrikos N, Lavagno L, Pandini D, et al. A fully-automated desynchronization flow for synchronous circuits [C]//Proc of the 44th ACM/IEEE Design Automation Conference (DAC). New York: ACM, 2007: 982-985.
  • 9Cheng S T, Brayton R K. Compiling Verilog into automata, UCB/ERL M94/37 [R]. Berkeley, CA.. University of California, Electronics Research Laboratory, 1994.
  • 10Micheli G D. Synthesis and Optimization of Digital Circuits [M]. New York: McGraw-Hill, 1994.

共引文献14

同被引文献27

  • 1胡军,于笑丰,张岩,王林章,李宣东,郑国梁.基于场景规约的构件式系统设计分析与验证[J].计算机学报,2006,29(4):513-525. 被引量:40
  • 2刘静,何积丰,缪淮扣.模型驱动架构中模型构造与集成策略[J].软件学报,2006,17(6):1411-1422. 被引量:26
  • 3焦莉,陆维明.基于共享位置的Petri网系统综合与保性[J].计算机学报,2007,30(3):352-360. 被引量:6
  • 4Wagner F,Schmuki R,Wolstenholme P, et al. Modeling software with finite state machines: a practical approach [ M ]. Boca Ra- ton : Auerbach Publications ,2006 : 123 -144.
  • 5Samek M. Practical UML statecharts in C/C ++ event-driven programming for embedded systems [ M ]. Burlington : Newnes, 2008:3-52.
  • 6Wasowski A. On efficient program synthesis from statecharts [ C ]//ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems. New York : ACM ,2003 : 163-170.
  • 7Krtlgcr I H,Mathew R, Meisinger M,et al. From scenarios to as- pects : exploring product lines[ C ] // Proceeding of the 4th Inter- national Workshop on Scenarios and State Machines:Models, Al- gorithms and Tools. New York : ACM ,2005 : 1083188.
  • 8Krilger I H, Mathew R, Meisinger M. Efficient exploration of service-oriented architectures using aspects [ C ]//Proceeding of the 28th International Conference on Software Engineering. Piscataway, NJ : IEEE Press ,2006:62-71.
  • 9Maoz S, Harel D, Kleinbort A. A compiler for muhimodal scenar- ios:transforming LSCs into aspectJ [ J]. ACM Transactions on Software Engineering and Methodology, 2011,20 ( 4 ) : 1757- 1770.
  • 10Maoz S, Harel D. From multi-modal scenarios to code : compiling LSCs into aspectJ[ C ]//Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineer- ing. New York : ACM ,2006:219-230.

引证文献2

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部