金融界2025年7月2日消息,国家知识产权局信息显示,西门子电子设计自动化有限公司申请一项名为“嵌入式系统的验证技术”的专利,公开号CN120239857A,申请日期为2022年12月。
专利摘要显示,一种验证嵌入式系统(1)的计算机实现的方法,包括以下步骤:与嵌入式系统(1)的硬件组件(4)的硬件模型代码(4a)一起,验证嵌入式系统(1)的第一固件组件(3a),其中第一固件组件被嵌入有经转换的代码(30),其中经转换的代码能够与硬件模型代码(4a)互操作,该硬件模型代码以硬件描述语言提供。
来源:金融界