[发明专利]基于门级电路仿真的关键节点提取方法

摘要

本发明公开了一种基于门级电路仿真的关键节点提取方法。主要解决现有技术搜索效率低下、恢复节点状态范围不准确和重复率过高的问题。其包括：获取门级电路的连接关系；通过对门级电路进行仿真，生成相应的门级节点的状态，计算关键节点0、1状态的比率；提取门级电路的频繁子电路；由频繁子电路中提取的D触发器DFF节点恢复门级电路节点；结合D触发器DFF节点恢复节点数目和0、1状态比率，计算加权值，提取出加权值最大的D触发器DFF节点；以提取的D触发器DFF节点为基础，依次进行后续关键节点提取。本发明降低了恢复节点的重复率，提高了搜索效率和关键节点恢复节点状态范围，可用于门级电路检错，实现对内部信号的跟踪。

主权项

1.一种基于门级电路仿真的关键节点提取方法，包括：(1)获取门级电路中节点的连接关系，得到门级电路内部的连接方式；(2)对门级电路进行仿真，生成相应的门级电路节点状态即输出状态，所述门级节点状态用于关键节点提取时，计算关键节点0、1状态的比率；(3)设定门级电路最小支持度t及生成链状模板的长度上限m，对门级电路的频繁子电路进行提取：(3a)设定频繁子电路最小支持度t和频繁子电路规模上限m；(3b)在现有二元子电路结构模板的基础上，以D触发器DFF节点为根节点，对门级电路进行检索，提取满足最小支持度t的二元频繁子电路结构，排除不能提取二元频繁子电路的根节点，降低根节点的个数；(3c)对提取的二元频繁子电路规模进行前向或后向扩展，检索门级电路，直到扩展后的频繁子电路规模达到设定的规模上限m或不满足最小支持度t为止，并将满足上述条件的频繁子电路的节点编号存入第二缓存数组buf2[]；(4)将提取的频繁子电路中的D触发器DFF节点选为候选节点，再以D触发器DFF节点为起点，正向或反向恢复门级电路节点，即初始化门级电路时，将所有门级电路节点标记为未恢复状态；恢复节点状态后将结点状态恢复的节点标记为已恢复状态；(5)通过D触发器DFF节点恢复的其他D触发器DFF节点数目加权值，进行排序找到恢复其他D触发器DFF节点数最多的D触发器DFF节点：(5a)在每个D触发器DFF节点恢复节点过程中，将恢复出来的D触发器DFF节点编号与之前恢复的D触发器DFF节点编号进行比较，若两者不同，则对恢复D触发器DFF节点数目加1，且记录恢复的D触发器DFF节点编号，若两者相同，则恢复节点数目不变；(5b)统计D触发器DFF节点在0,1这两种状态的情况下，沿正向或反向总共恢复的其他D触发器DFF节点数目；(5c)通过D触发器DFF节点0,1状态的比率和D触发器DFF节点分别在0,1状态下恢复节点的数目，计算D触发器DFF节点恢复其他D触发器DFF节点的加权值；(5d)对所得加权值进行快速排序，将各D触发器DFF节点的加权值从大到小排序，找出恢复D触发器DFF节点数最多的关键D触发器DFF节点，作为提取的第一个关键D触发器DFF节点；(6)以提取的关键D触发器DFF节点所恢复节点状态为基础，依次进行关键节点提取，直到提取的关键D触发器DFF节点数目达到n个或提取完频繁子电路中所有D触发器DFF节点为止：(6a)设定提取的关键D触发器DFF节点数目n，1<＝n<＝32；(6b)以提取的第一个关键节点所恢复的门级电路节点状态为基础，由除第一个关键节点以外的D触发器DFF节点出发，进行门级电路节点恢复，得到恢复D触发器DFF节点数最多的D触发器DFF节点，作为提取的第二个关键节点；(6c)以提取的第一个关键节点和第二个关键节点所恢复的门级电路节点状态为基础，由其他候选D触发器DFF节点出发，进行门级电路节点恢复，得到恢复D触发器DFF节点数最多的D触发器DFF节点，作为提取的第三个关键节点；(6d)以所有提取过的关键节点所恢复的门级电路节点状态为基础，依次进行后续关键节点提取，直到提取的关键D触发器DFF节点数目达到n个或提取完频繁子电路中所有D触发器DFF节点为止。