买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网恭喜湖南泛联新安信息科技有限公司申请的专利一种用于逻辑仿真系统的信号波形存储方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114818558B 。

龙图腾网通过国家知识产权局官网在2025-03-25发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210467097.1，技术领域涉及：G06F30/33；该发明授权一种用于逻辑仿真系统的信号波形存储方法是由李立;鲁俊设计研发完成，并于2022-04-29向国家知识产权局提交的专利申请。

本一种用于逻辑仿真系统的信号波形存储方法在说明书摘要公布了：本发明公开了一种用于逻辑仿真系统的信号波形存储方法，包括使用编译器前端对源代码进行编译，得到对应的抽象语法树；基于抽象语法树，遍历树上的所有节点，基于该节点的语义生成对应的控制流和数据流节点，从而得到抽象语法树对应的控制流图和数据流图，进而对逻辑仿真中的所有信号做关联分析，得出信号间的关联转换函数；在逻辑仿真的过程中，依次记录所有信号的波形；逻辑仿真完成后，基于记录的所有信号的波形以及关联转换函数，做关联转换函数的正确性分析得到分析结果，根据分析结果标记信号并保存对应的关联转换函数；接收用户发起的信号波形存储的请求，根据请求存储对应的信号波形。能够大幅降低需要存储的波形文件的大小。

本发明授权一种用于逻辑仿真系统的信号波形存储方法在权利要求书中公布了：1.一种用于逻辑仿真系统的信号波形存储方法，其特征在于，所述方法包括以下步骤：步骤S100：使用编译器前端对要进行逻辑仿真的硬件描述语言的源代码进行编译，得到对应的抽象语法树；步骤S200：基于所述抽象语法树，遍历树上的所有节点，基于该节点的语义生成对应的控制流和数据流节点，从而得到所述抽象语法树对应的控制流图和数据流图；步骤S300：基于所述控制流图和所述数据流图，对逻辑仿真中的所有信号做关联分析，得出信号间的关联转换函数；步骤S300包括：步骤S310：从所述控制流图中提取得到仿真所有基本块执行的可能顺序；步骤S320：从所述数据流图中提取得到仿真信号数据所有的可能流向；步骤S330：根据所述仿真所有基本块执行的可能顺序以及所述仿真信号数据所有的可能流向得到信号间的关联转换函数；步骤S400：在逻辑仿真的过程中，依次记录所有信号的波形,用以做关联转换函数正确性的确认；步骤S500：逻辑仿真完成后，基于记录的所有信号的波形以及所述关联转换函数，做关联转换函数的正确性分析得到分析结果，根据所述分析结果标记信号并保存对应的关联转换函数；步骤S600：接收用户发起的信号波形存储的请求，根据所述请求存储对应的信号波形。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人湖南泛联新安信息科技有限公司，其通讯地址为：410005 湖南省长沙市开福区伍家岭街道栖凤路486号凯乐微谷商务中心1栋1710、1711房；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。