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

Decomposition Method for Burst Mode Asynchronous Controllers

对于现有的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