基于LLM和RTL语义压缩的硬件木马检测方法及系统

本发明提供基于LLM和RTL语义压缩的硬件木马检测方法及系统，方法包括：准备待测的包含粗粒度硬件木马的模块化RTL设计电路；适用PyVerilog生成AST并存储；根据实例电路建立树状拓扑结构，记录深度信息；为每个实例电路提取端口名与位宽信息；为每个实例电路提取赋值逻辑出现频次；为每个实例电路提取判断条件出现频次；适用余弦相似度算法建立实例电路之间的特征相似度；构建模块化设计电流特征集合，预备LLM输入预料；设计合适的提示词，对主流大模型进行提示词微调；获得输出结果，依据待测指标进行统计计算。本发明解决了静态分析受到代码复杂性和抽象层次的制约，动态分析易受到验证场景不足影响的技术问题。