大规模Burst Mode异步控制电路分解与综合  

Decomposition Method for Burst Mode Asynchronous Controllers

作　　者：阮坚[1] 王志英[1] 王蕾[1] 李勇[1] 

机构地区：[1]国防科技大学计算机学院,长沙410073

出　　处：《计算机科学》2009年第2期162-166,共5页Computer Science

基　　金：国家自然科学基金项目(90407022)资助

摘　　要：对于现有的Burst Mode异步控制电路综合方法而言,由于在状态归约与赋值阶段需要进行完备的状态空间搜索,面临状态空间爆炸问题,因此仅仅适用于中小规模控制电路。为了提高电路的综合规模,使得Burst Mode异步控制电路走向实用化,提出了一种新的大规模Burst Mode异步控制电路的综合方法:利用Burs tMode状态机所对应有向图的有向回路集合对状态机进行分解,得到相互独立的子状态机;对各子状态机进行调整,采用请求/应答信号实现相应子状态机之间的四段握手通信;设计接口状态机解决相应子状态机之间的仲裁问题。通过实例比较可知,该方法可以大幅度地提高综合规模,降低综合复杂度,减少综合时间。A systematic and automated methodology was proposed for decomposing an asynchronous Burst Mode （BM） controller into smaller sub-controllers, where each resulting sub-controller is activated on a communication channel. The proposed approach consists of a new decomposition method, inter-controller Burst Mode state machine and inter-controller communication protocol. Furthermore, only a moderate amount of auxiliary hardware is required. Initial runtime results for Burst Mode controllers are promising. One of the largest BM benchmarks （dean-cache） was run using the Minimalist CAD tool. While the original controllers each timed out after 10 hours, the decomposition runs each completed in less than 88 seconds. One large complex controller （pscsi） was unable to complete while the decomposed run succeeded in under 54 seconds

关 键 词：BURST Mode异步控制电路 BURST Mode状态机 层次化分解 逻辑综合 

分 类 号：TP368.5[自动化与计算机技术—计算机系统结构] O157.5[自动化与计算机技术—计算机科学与技术]