西門子申請嵌入式系統驗證技術專利，實現特定固件組件與硬件模型代碼互操作驗證

金融界2025年7月2日消息，國家知識產權局信息顯示，西門子電子設計自動化有限公司申請一項名爲“嵌入式系統的驗證技術”的專利，公開號CN120239857A，申請日期爲2022年12月。

專利摘要顯示，一種驗證嵌入式系統（1）的計算機實現的方法，包括以下步驟：與嵌入式系統（1）的硬件組件（4）的硬件模型代碼（4a）一起，驗證嵌入式系統（1）的第一固件組件（3a），其中第一固件組件被嵌入有經轉換的代碼（30），其中經轉換的代碼能夠與硬件模型代碼（4a）互操作，該硬件模型代碼以硬件描述語言提供。

本文源自：金融界

作者：情報員