[发明专利]一种基于RTL网表的复位网络提取方法

权利要求书

1.一种基于RTL网表的复位网络提取方法，其特征在于，

S1:先获取集成电路硬件描述语言对应的RTL网表中所有的时序器件；

S2:对每个时序器件进行回溯推导得到每个时序器件的回溯信号路径；

S3:搜索回溯信号路径上的信号量和每个时序器件对应的硬件描述语言,并与回溯信号路径进行复位模式匹配，筛选得到复位信号路径并存入信号路径集；

S4:对信号路径集中的复位信号路径逐条合并，形成复位网络。

2.如权利要求1所述的一种基于RTL网表的复位网络提取方法，其特征在于，所述每个时序器件进行回溯推导，是指从每个时序器件的输入端口开始，反向搜索与该输入端口连接的电路或器件，遇到时序器件时，则对该时序器件的输入端口进行反向跟踪，直到搜索至该输入端口的输入信号源，得到从输入信号源至时序器件的回溯信号路径。

3.如权利要求2所述的一种基于RTL网表的复位网络提取方法，其特征在于，所述时序器件的输入端口包括复位端口、清零端口及数据输入端口。

4.如权利要求1所述的一种基于RTL网表的复位网络提取方法，其特征在于，在S2步骤中，回溯信号路径以线性链表方式存储，每个回溯信号路径存储为一个线性链表。

5.如权利要求4所述的一种基于RTL网表的复位网络提取方法，其特征在于，所述S3步骤中筛选得到复位信号路径，是指对硬件描述语言做词法和语法分析后生成抽象语法树，搜索每个时序器件抽象语法树的always语句块，遍历always语句块的敏感信号列表中包含的所有信号量作为备选信号量及该always语句块内第一次出现的条件表达式中的条件信号量，若条件表达式的语句块中存在对时序器件输出信号量赋值的语句，且回溯信号路径上的信号量与条件信号量匹配，则该回溯信号路径是复位信号路径。

6.如权利要求5所述的一种基于RTL网表的复位网络提取方法，其特征在于，所述S4步骤中复位信号路径逐条合并，是指先从信号路径集中任意选取一条复位信号路径初始复位网络，然后信号路径集中的复位信号路径从输入信号源开始，逐条与复位网络中的节点进行对比，若复位信号路径与节点相同，则将复位网络中的当前节点与复位信号路径合并，合并后的节点与前驱节点连接；若不相同，则在复位网络中新建节点，新建节点与复位信号路径合并，合并后的节点与前驱节点连接，直到复位信号路径集中所有的复位信号路径与复位网络合并完成。