[发明专利]追踪不确定信号的方法和装置

权利要求书

1.一种在芯片设计的仿真中追踪不确定信号的方法，包括：

从芯片设计的网表中生成包含时序逻辑器件和IO器件的有向图，所述有向图示出所述时序逻辑器件和IO器件之间的信号关联；

获取仿真结果中与所述时序逻辑器件和IO器件相关的信号，所述信号包括多个不确定信号；以及

沿所述有向图，逆向回溯所述多个不确定信号中的至少一部分不确定信号，确定首先出现不确定信号的器件。

2.根据权利要求1的方法，其中，生成包含时序逻辑器件和IO器件的有向图的步骤包括，通过以下中的至少一项来区分时序逻辑器件、组合逻辑器件和IO器件：

建立时序逻辑器件列表、组合逻辑器件列表和IO器件列表；

参照器件库；以及

参照网表中器件的连接结构。

3.根据权利要求1的方法，其中，在所述有向图中，所述时序逻辑器件和IO器件被示出为不同类型的节点。

4.根据权利要求1的方法，其中逆向回溯所述多个不确定信号中的至少一部分不确定信号包括，对所述多个不确定信号进行分类，根据分类结果从所述多个不确定信号中选择部分不确定信号进行逆向回溯。

5.根据权利要求1-4中任一项的方法，其中逆向回溯所述多个不确定信号中的至少一部分不确定信号包括，将所述至少一部分不确定信号定位到关联的不确定器件，从每个不确定器件开始，沿着所述有向图，逆向回溯预定的步数，并为每个不确定器件设置计数器，使其计数值反映该不确定器件经历回溯的次数。

6.根据权利要求5的方法，其中逆向回溯所述多个不确定信号中的至少一部分不确定信号还包括，从计数值最高的不确定器件开始进行回溯，直到遇到首次出现不确定信号的器件。

7.根据权利要求1的方法，还包括，读取配置文件，所述配置文件包含允许出现不确定信号的器件列表，并判断所确定的首先出现不确定信号的器件是否包含在所述配置文件中，如果包含，则排除该首先出现不确定信号的器件。

8.根据权利要求1-7中任一项的方法，其中所述网表中还包含存储器器件，所述方法还包括，从所述网表中提取与存储器器件相关的信息，并使得所述有向图包含与存储器器件相关的信息。

9.根据权利要求8的方法，还包括，记录存储器器件的存取历史，当首先出现不确定信号的器件为存储器器件时，参照所述存取历史，确定存储器器件出现不确定信号的原因。

10.一种在芯片设计的仿真中追踪不确定信号的装置，包括：

网表分析单元，配置为从芯片设计的网表中生成包含时序逻辑器件和IO器件的有向图，所述有向图示出所述时序逻辑器件和IO器件之间的信号关联；

结果获取单元，配置为获取仿真结果中与所述时序逻辑器件和IO器件相关的信号，所述信号包括多个不确定信号；以及

信号追踪单元，配置为沿所述有向图，逆向回溯所述多个不确定信号中的至少一部分不确定信号，确定首先出现不确定信号的器件。

11.根据权利要求10的装置，其中，所述网表分析单元配置为，通过以下中的至少一项来区分时序逻辑器件和组合逻辑器件：

建立时序逻辑器件列表和组合逻辑器件列表；

参照器件库；以及

参照网表中器件的连接结构。

12.根据权利要求10的装置，其中，在所述有向图中，所述时序逻辑器件和IO器件被示出为不同类型的节点。

13.根据权利要求10的装置，其中所述信号追踪单元还配置为，对所述多个不确定信号进行分类，根据分类结果从所述多个不确定信号中选择部分不确定信号进行逆向回溯。

14.根据权利要求10-13中任一项的装置，其中所述信号追踪单元配置为，将所述至少一部分不确定信号定位到关联的不确定器件，从每个不确定器件开始，沿着所述有向图，逆向回溯预定的步数，并为每个不确定器件设置计数器，使其计数值反映该不确定器件经历回溯的次数。

15.根据权利要求13的装置，其中所述信号追踪单元还配置为，从计数值最高的不确定器件开始进行回溯，直到遇到首次出现不确定信号的器件。