一种面向Chisel硬件设计语言的代码分析系统

本发明公开一种面向Chisel硬件设计语言的代码分析系统，包括：代码读取组件，读取和解析硬件代码；中间硬件表示组件，将硬件代码转换为中间硬件表示，包括中间代码、实例构造图、数据流图和寄存器图；基础分析组件，基于中间硬件表示进行分析，包括时序关系分析、电路常量分析、电路值区间分析和冗余电路化简；应用分析组件，基于基础分析和中间硬件表示进行应用级分析，包括硬件缺陷分析和硬件信息流泄露分析。分析模板组件，将前述分析的共性部分抽象为模板，包括数据流分析模板和可达性分析模板，支持基于模板开发新的硬件分析功能。本发明对使用Chisel硬件设计语言编写的硬件设计进行代码分析，获取硬件设计的行为信息并检测潜在的设计缺陷。