异步电路的计算机辅助设计软件  

Computer Aided Design Software of Asynchronous Circuits

作　　者：陶冶[1] 赵千川[1] 

机构地区：[1]清华大学自动化系,北京100084

出　　处：《计算机工程与应用》2005年第27期83-88,共6页Computer Engineering and Applications

基　　金：国家自然科学基金(编号:60074012;60274011);攀登计划预研项目(编号:970211017);教育部留学人员回国启动基金;清华大学985基础研究基金(编号:985信息-07-基金-07)资助

摘　　要：异步电路由于没有时钟频率的限制,所以较同步电路有很多优点,其研究也越来越广泛,是未来解决计算机CPU设计的一种重要方案。异步电路的计算机辅助设计软件代表了异步电路当前研究的前沿,通过研究这些软件可以对异步电路的模型有更为深入的认识。论文整理列举了有关异步电路的63种软件工具,并将其分为设计、仿真、相关设计工具、前端设计、综合和验证6个方面。最后,在这些软件中选取两种设计软件对一个简单的例子进行了设计实现,以体现异步电路的设计特点。Because asynchronous circuit does not have the limitation of the clock frequency,it has more advantages than synchronous circuit,and its research has developed more and more broadly.Computer aided design software tools of asynchronous circuits represent the newest development of asynchronous circuits.Studying these software tools will help the researchers understanding the models of asynchronous circuits thoroughly.This thesis enumerates 63 software tools for asynchronous circuits,and classifies these tools into 6 aspects,such as design, simulation, relative design tools,front end design,synthesis and verification.At last,this thesis chooses two of these tools,and implements a simple example in order to show characteristics of the asynchronous circuits design.

关 键 词：异步电路 计算机辅助设计 逻辑综合 形式验证 Balsa 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]