一种基于RTL网表的有限状态自动机识别及提取方法.pdfVIP

  • 4
  • 0
  • 约1.02万字
  • 约 9页
  • 2023-05-14 发布于四川
  • 举报

一种基于RTL网表的有限状态自动机识别及提取方法.pdf

本发明公开了一种基于RTL网表的有限状态自动机识别及提取方法,包括获取HDL代码,使用HDL代码生成的抽象语法树和RTL网表作为输入,遍历抽象语法树中声明的所有寄存器,检查每一个寄存器是否存在逻辑上的反馈,并收集存在反馈的寄存器作为待确定的状态寄存器;遍历RTL网表中所有待确定的状态寄存器,从所有待确定的状态寄存器为起始反向搜索,判断驱动对应待确定的状态寄存器的输入端口的网表结构是否符合有限状态自动机的状态转换逻辑的特征;若符合有限状态自动机的状态转换逻辑的特征,则根据识别出的有限状态自动机的网

(19)国家知识产权局 (12)发明专利申请 (10)申请公布号 CN 116108780 A (43)申请公布日 2023.05.12 (21)申请号 202310168225.7 (22)申请日 2023.02.10 (71)申请人 湖南泛联新安信息科技有限公司 地址

文档评论(0)

1亿VIP精品文档

相关文档