[发明专利]猝发模式异步控制电路设计方法

权利要求书

1.一种猝发模式异步控制电路设计方法，它包括分解猝发模式状态机、实现子控制电路模块、合成猝发模式异步控制电路这些步骤，其特征在于在分解猝发模式状态机步骤和实现子控制电路模块步骤之间还包括调整猝发模式子状态机、设计猝发模式接口状态机、再调整猝发模式子状态机三个步骤，具体步骤为：

第一步，利用猝发模式状态机M所对应有向图的有向回路集合对M进行层次化分解，得到K级猝发模式子状态机，K为M分解得到的猝发模式子状态机的总级数；

第二步，增加额外的请求/应答信号，对第1级至第K级所有的猝发模式子状态机进行调整，实现相邻两级子状态机之间的四段握手通信，去除相邻两级子状态机之间的时序要求；

第三步，在相邻两级子状态机之间设计猝发模式接口状态机，对子状态机是否触发进行仲裁；

第四步，再次调整第2级到第K-1级的所有猝发模式子状态机M_N，2≤N＜K，实现N级猝发模式子状态机与对应N+1级子状态机之间的仲裁；

第五步，对所有的猝发模式子状态机和猝发模式接口状态机进行状态归约、状态赋值、逻辑综合以及工艺映射，得到相应的子控制电路模块和接口控制电路模块；

第六步，将所有的子控制电路模块和接口控制电路模块按照对应信号进行连接得到最终的猝发模式异步控制电路。

2.如权利要求1所述的一种猝发模式异步控制电路设计方法，其特征在于所述层次化分解的流程为：

(1)根据M所对应有向图G＝<V，E>的有向回路集合C确定初始子状态机集合S：任一有向回路c(c∈C)在M中的对应结构，包括状态节点、有向边及相应的猝发输入和猝发输出，构成一个初始子状态机s(s∈S)；

(2)确定判定节点集合D：G中所有出度大于2的顶点在M中的对应状态节点即为判定节点；

(3)M中起始状态节点v₀到最近的判定节点d₁∈D之间的有向通路及相应的猝发输入和猝发输出构成第一级猝发模式子状态机，第一级子状态机的起始状态节点为v₀；所有包含判定节点d₁的初始子状态机均为第二级猝发模式子状态机，第二级子状态机的起始状态节点为d₁；

(4)设定子状态机级数N＝2；

(5)从S中删除所有第N级猝发模式子状态机；

(6)对S进行判断，如果S不为空，跳转至步骤(7)；如果S为空则M分解完成；

(7)对第N级猝发模式子状态机逐一进行判断，如果存在除起始状态节点之外的其他判定节点d_Nⁱ，i＝1，…，l，l为第N级猝发模式子状态机中除起始状态节点之外的判定节点数目，则S中所有包含d_Nⁱ的初始子状态机均为第N+1级猝发模式子状态机，起始状态节点为d_Nⁱ；

(8)调整子状态机级数N＝N+1，跳转至步骤(6)。