[发明专利]一种可编程逻辑器件的信息流追踪模型生成方法

摘要

本发明涉及一种基高精度信息流追踪模型生成方法按照工作类别分类，输入可编程逻辑器件代码，对代码中实例化的模块名称进行识别，将模块名称与可编程逻辑器件对应网表库中的模块名进行匹配，如果一致则该代码为门级层次，否则为RTL级层次，对RTL级层次中的显示流进行处理，遍历所有输入，计算赋值语句输出，将结果转为真值表；使用门级信息流理论，输入原真值表，生成全输入输出信息流污迹标签的真值表；使用卡诺图化简真值表，转化为信息流追踪逻辑，对RTL级层次中的隐式流进行处理，实现对RTL级层次代码的信息流处理。对门级层次信息流处理。通过对可编程逻辑器件中RTL级层次代码和门级层次代码进行分类并分别进行信息流追踪处理，生成可编程逻辑器件信息流追踪模型的生成。

主权项

1.一种基于黑白盒分类处理的可编程逻辑器件的高精度信息流追踪模型生成方法，其特征在于，包括：步骤1：输入待测代码；步骤2：逐行对待测代码的类型进行分析，将待测代码中实例化模块名称与可编程逻辑器件对应网表库中的模块名进行匹配，如果一致则判定待测代码为门级层次，进行步骤10，否则判定待测代码为RTL级层次，进行步骤3；步骤3：判断待测代码信息流类型，如果是隐式流则进行步骤4，如果为显式流则进行步骤6；步骤4：将隐式流待测代码中条件分支转化为逻辑等价的选择器模块；步骤5：将选择器模块替换为带有信息流追踪逻辑的选择器模块，信息流追踪逻辑的选择器模块是带有信息流追踪逻辑和选择器逻辑的模块，并转到步骤9；步骤6：生成显示流语句的真值表；步骤7：将显示流语句的真值表转化为全输入输出信息流污迹标签的真值表；步骤8：将真值表转化为逻辑表达式，并将逻辑表达式添加到原逻辑中；步骤9：判断待测代码是否处理完成，如果未完成则返回步骤3，否则进行步骤17；步骤10：选取门级层次代码对应器件的信息流追踪库；步骤11：选取门级层次代码中下一个单元，判断类型，如果是查找表模块则执行步骤12，否则进行步骤15；步骤12：根据查找表模块的配置参数，生成存储的真值表；步骤13：将存储的真值表转化为全输入输出信息流污迹标签的真值表；步骤14：化简真值表，转化为逻辑表达式，并将转化的逻辑表达式添加到原查找表模块中，进行步骤16；步骤15：将选取单元自动替换为选择的信息流追踪库中的对应逻辑单元；步骤16：判断待测代码是否处理完成，如果未完成则返回步骤11，否则进行步骤17；步骤17：将经过信息流处理后的待测代码进行整合，生成可编程逻辑器件信息流追踪模型。