暢想科技有限公司羅伯特·麥克梅獲國家專利權
買專利賣專利找龍圖騰，真高效！ 查專利查商標用IPTOP,全免費！專利年費監控用IP管家,真方便！
龍圖騰網獲悉暢想科技有限公司申請的專利驗證實施置換相關函數的組件的硬件設計獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN110321522B 。
龍圖騰網通過國家知識產權局官網在2025-08-22發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：201910247935.2，技術領域涉及：G06F17/15；該發明授權驗證實施置換相關函數的組件的硬件設計是由羅伯特·麥克梅;山姆·艾略特;埃米利亞諾·莫里尼;馬克斯·弗雷伯格豪斯設計研發完成，并于2019-03-28向國家知識產權局提交的專利申請。
本驗證實施置換相關函數的組件的硬件設計在說明書摘要公布了：描述了用于驗證實施置換相關函數的組件的硬件設計的方法和系統。該方法包括：形式驗證硬件設計的實例化為有效輸入向量的子集產生函數的正確結果；以及形式驗證硬件設計的實例化為關于輸入向量集合上的一個或多個輸入向量置換中的每個的置換即，硬件設計的實例化為輸入向量和該輸入向量的置換產生置換相關輸出。選擇子集和輸入向量置換，使得可以經由一個或多個輸入向量置換的組合從子集中的輸入向量生成不在子集中的任何輸入向量。
本發明授權驗證實施置換相關函數的組件的硬件設計在權利要求書中公布了：1.一種驗證實施置換相關函數的組件的硬件設計的方法，所述組件被配置為接收包括多個輸入元素的輸入向量并且基于所述輸入向量和所述函數生成輸出，所述方法包括： 在一個或多個處理器處驗證所述硬件設計的實例化為有效輸入向量的子集的每個輸入向量生成預期輸出；以及 在所述一個或多個處理器處通過以下方式來驗證所述硬件設計是否關于所有輸入向量置換：使用形式驗證工具，形式驗證對于一個或多個輸入向量置換中的每一個，所述硬件設計的實例化是否響應于有效輸入向量的集合中的任何輸入向量和該輸入向量的置換生成置換相關的輸出，所述一個或多個輸入向量置換包括將兩個相鄰輸入元素的位置交換的n-1個相鄰換位，其中，n是輸入向量中的輸入元素的數量； 其中，不在所述有效輸入向量的子集中的每個有效輸入向量可以通過將所述一個或多個輸入向量置換中的一個或多個應用于該子集中的輸入向量來獲得。
如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人暢想科技有限公司，其通訊地址為：英國赫特福德郡；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。
免責聲明
1、本報告根據公開、合法渠道獲得相關數據和信息，力求客觀、公正，但并不保證數據的最終完整性和準確性。
2、報告中的分析和結論僅反映本公司于發布本報告當日的職業理解，僅供參考使用，不能作為本公司承擔任何法律責任的依據或者憑證。
1、本報告根據公開、合法渠道獲得相關數據和信息，力求客觀、公正，但并不保證數據的最終完整性和準確性。
2、報告中的分析和結論僅反映本公司于發布本報告當日的職業理解，僅供參考使用，不能作為本公司承擔任何法律責任的依據或者憑證。
開放平臺
擔保交易
惠及多方
會員特惠
專屬平臺
適合多方
數據共享
功能齊全
皖公網安備 34010402703815號