【技术实现步骤摘要】
本专利技术涉及集成电路领域，特别是涉及一种数字集成电路的有限状态机提取方法和装置。
技术介绍
1、在数字集成电路设计中，通常采用行为级描述的方法定义电路的数据流动、逻辑行为和寄存器行为。数字集成电路按照是否含有存储组件分为组合逻辑电路和时序逻辑电路，其中时序逻辑电路在数学上可以用有限状态机进行建模。为了更好的描述时序逻辑电路的状态转移特性，以实现自动化逻辑综合优化的效果，从行为级描述中提取时序电路的有限状态机是其中的关键。然而，现存的有限状态机提取算法仅能针对特定的行为级描述方法进行建模，缺乏普适性，无法对复杂行为级或门级描述进行提取，这极大地限制了逻辑综合后续流程中对时序逻辑电路结构的优化效果。
技术实现思路
1、本专利技术的目的在于提供一种数字集成电路的有限状态机提取方法和装置，用于解决传统的有限状态机提取算法使用场景较为局限的问题。
2、为实现上述目的及其他相关目的，本专利技术提供一种数字集成电路的有限状态机提取方法，至少包括：
3、对数字集成电路的硬件描述语言进行编译得到语法树；
4、对所述语法树进行分析提取数字集成电路的数据流图；
5、对所述数据流图进行处理得到与当前状态对应的状态转移表；
6、对所述与当前状态对应的状态转移表进行处理得到有限状态机的输出映射表。
7、可选地，对数字集成电路的行为或结构的硬件描述语言进行编译得到语法树。
8、可选地，对数字集成电路的硬件描述语言依次进行词法分
9、可选地，对所述数据流图进行处理得到与当前状态对应的状态转移表包括：
10、对所述数据流图进行环路处理得到所有信号环路以及其信号转移表达式和输出表达式；
11、对每个信号环路中的信号进行处理以建立具有初始状态的状态检查队列；
12、对状态检查队列中的状态变量进行检查，直至全部状态变量取值均被检查得到与当前状态对应的状态转移表。
13、可选地，采用johnson算法对所述数据流图进行环路处理得到所有信号环路。
14、可选地，对每个信号环路中的信号进行处理以建立具有初始状态的状态检查队列的过程包括：
15、对每个信号环路中的信号按信号类型进行区分，得到阻塞赋值信号和非阻塞赋值信号；
16、对将所述非阻塞赋值信号定义为环路状态变量；
17、将所述环路状态变量全部置零作为初始状态；
18、建立状态检查队列并将所述初始状态添加所述状态检查队列中。
19、可选地，根据所述与当前状态对应的状态转移表中的当前状态取值和所述输出表达式计算当前状态与输入输出映射表；并将当前状态与输出结果作为有限状态机的输出映射表。
20、可选地，还包括对所述有限状态机的输出映射表中的所有当前状态进行重编码以压缩状态空间。
21、为实现上述目的及其他相关目的，本专利技术还提供一种数字集成电路的有限状态机提取装置，包括存储器、处理器以及存储在所述存储器中并可在所述处理器上运行的程序，所述处理器执行所述程序时，实现上述的数字集成电路的有限状态机提取方法的步骤。
22、如上所述，本专利技术的一种数字集成电路的有限状态机提取方法和装置，具有以下有益效果：
23、本专利技术提出的一种数字集成电路的有限状态机提取方法和装置，对于数字时序电路中存在计数器或数学运算的情况，现有技术无法提取该电路描述的状态转移，而本专利技术提出的技术能够对状态变量组成的整个状态空间进行建模，使用逻辑运算的方式获取数值化的状态转移结果，将计数和数学运算行为转化为状态转移行为，从而获取该电路的有限状态机；因此，本专利技术能够从更为一般性的数字集成电路硬件描述语言中提取有限状态机，并对提取后的有限状态机进行状态空间优化，无需针对特定的三段式或两段式有限状态机描述方法，从而增强了有限状态机的使用场景。
本文档来自技高网...【技术保护点】
1.一种数字集成电路的有限状态机提取方法，其特征在于，至少包括：
2.根据权利要求1所述的数字集成电路的有限状态机提取方法，其特征在于，对数字集成电路的行为或结构的硬件描述语言进行编译得到语法树。
3.根据权利要求1所述的数字集成电路的有限状态机提取方法，其特征在于，对数字集成电路的硬件描述语言依次进行词法分析、语法分析和语义分析得到语法树。
4.根据权利要求1所述的数字集成电路的有限状态机提取方法，其特征在于，对所述数据流图进行处理得到与当前状态对应的状态转移表包括：
5.根据权利要求4所述的数字集成电路的有限状态机提取方法，其特征在于，采用Johnson算法对所述数据流图进行环路处理得到所有信号环路。
6.根据权利要求4所述的数字集成电路的有限状态机提取方法，其特征在于，对每个信号环路中的信号进行处理以建立具有初始状态的状态检查队列的过程包括：
7.根据权利要求4所述的数字集成电路的有限状态机提取方法，根据所述与当前状态对应的状态转移表中的当前状态取值和所述输出表达式计算当前状态与输入输出映射表；并将当前
8.根据权利要求1所述的数字集成电路的有限状态机提取方法，其特征在于，还包括对所述有限状态机的输出映射表中的所有当前状态进行重编码以压缩状态空间。
9.一种数字集成电路的有限状态机提取装置，其特征在于，包括存储器、处理器以及存储在所述存储器中并可在所述处理器上运行的程序，所述处理器执行所述程序时，实现权利要求1-8任一项所述的数字集成电路的有限状态机提取方法的步骤。
...【技术特征摘要】
1.一种数字集成电路的有限状态机提取方法，其特征在于，至少包括：
2.根据权利要求1所述的数字集成电路的有限状态机提取方法，其特征在于，对数字集成电路的行为或结构的硬件描述语言进行编译得到语法树。
3.根据权利要求1所述的数字集成电路的有限状态机提取方法，其特征在于，对数字集成电路的硬件描述语言依次进行词法分析、语法分析和语义分析得到语法树。
4.根据权利要求1所述的数字集成电路的有限状态机提取方法，其特征在于，对所述数据流图进行处理得到与当前状态对应的状态转移表包括：
5.根据权利要求4所述的数字集成电路的有限状态机提取方法，其特征在于，采用johnson算法对所述数据流图进行环路处理得到所有信号环路。
6.根据权利要求4所述的数字集成电路的有限...
【专利技术属性】
技术研发人员：任洁，杨树澄，高小平，
申请(专利权)人：中国科学院上海微系统与信息技术研究所，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。