公开(公告)号：CN109492337A

公开(公告)日：2019-03-19

申请号：CN201811541599.4

申请日：2018-12-17

Applicant: 北京计算机技术及应用研究所

Inventor： 李东方 ,  沈炜 ,  胡亚云 ,  王志昊 ,  王纪 ,  王晓龙 ,  王宏 ,  薛吉星 ,  王健周 ,  王召银 ,  陈丽容

IPC: G06F17/50

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

公开(公告)号：CN109492337B

公开(公告)日：2023-02-03

申请号：CN201811541599.4

申请日：2018-12-17

Applicant: 北京计算机技术及应用研究所

Inventor： 李东方 ,  沈炜 ,  胡亚云 ,  王志昊 ,  王纪 ,  王晓龙 ,  王宏 ,  薛吉星 ,  王健周 ,  王召银 ,  陈丽容

IPC: G06F30/34

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