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

龙图腾网获悉北京大学申请的专利基于VHDL的复杂嵌入式系统软件需求半自动仿真方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119179641B 。

龙图腾网通过国家知识产权局官网在2025-07-01发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411247176.7，技术领域涉及：G06F11/3668；该发明授权基于VHDL的复杂嵌入式系统软件需求半自动仿真方法及系统是由金芝设计研发完成，并于2024-09-06向国家知识产权局提交的专利申请。

本基于VHDL的复杂嵌入式系统软件需求半自动仿真方法及系统在说明书摘要公布了：本发明公开了一种基于VHDL的复杂嵌入式系统软件需求半自动仿真方法及系统，涉及需求工程领域，包括：预定义特定领域的设备模型；根据软件需求规约中的原子控制器需求，生成原子控制器VHDL模型和数据存储VHDL模型；根据软件需求规约中的组合控制器需求，生成组合控制器VHDL模型；在组合系统阶段，将原子控制器VHDL模型、设备VHDL模型、数据存储VHDL模型及组合控制器VHDL模型进行组合，得到完整的系统模型；在执行验证性质阶段，使用VHDL验证工具Vivado对完整的系统模型进行性质验证。本发明可以生成满足需求的VHDL模型并进行组合得到完整的系统模型，实现需求仿真及性质验证。

本发明授权基于VHDL的复杂嵌入式系统软件需求半自动仿真方法及系统在权利要求书中公布了：1.一种基于VHDL的复杂嵌入式系统软件需求半自动仿真方法，其特征在于，包括以下步骤： 预定义特定领域的设备模型，设备模型为人工构建的设备VHDL模型； 根据软件需求规约中的原子控制器需求，生成原子控制器VHDL模型并由人工对其中的计算组件进行补充完善，具体为：遍历软件需求规约中的原子控制器需求，得到原子控制器需求所涉及的原子控制器、计算组件、设备名称和数据存储名称；根据原子控制器需求的原子控制器名称和计算组件名称，生成原子控制器VHDL模型的模型结构；根据原子控制器需求涉及的设备名称及对设备的调用信号、数据存储名称及对数据存储的调用信号和计算组件名称及对计算组件的调用信号，生成原子控制器VHDL模型的实体端口声明；基于原子控制器需求与组合控制器需求的关系，生成原子控制器VHDL模型的初始状态和结束状态，结合原子控制器需求对设备、数据存储和计算组件的调用信号顺序，生成原子控制器状态机进程；根据原子控制器需求中的共享现象描述，生成原子控制器VHDL模型中使用的信号和变量；人工对生成的原子控制器VHDL模型中的计算组件进行补充完善； 根据软件需求规约中的原子控制器需求，生成数据存储VHDL模型； 根据软件需求规约中的组合控制器需求，生成组合控制器VHDL模型； 在组合系统阶段，将生成的原子控制器VHDL模型、设备VHDL模型、数据存储VHDL模型以及组合控制器VHDL模型进行组合，得到完整的系统模型，具体为：根据组合控制器需求的组合控制器名称及其关系，生成系统结构树，自底向上遍历结构树将组合控制器VHDL模型和原子控制器VHDL模型进行组合；根据原子控制器需求涉及的数据存储名称及对数据存储的调用信号，将上一步组合得到的模型和数据存储VHDL模型进行组合；根据原子控制器需求涉及的设备名称及对设备的调用信号，将上一步组合得到的模型和设备VHDL模型进行组合得到完整的系统模型； 在执行验证性质阶段，使用VHDL验证工具Vivado对完整的系统模型进行性质验证。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京大学，其通讯地址为：100871 北京市海淀区颐和园路5号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。