上海合見工業(yè)軟件集團有限公司;成都融見軟件科技有限公司張馳獲國家專利權
買專利賣專利找龍圖騰,真高效! 查專利查商標用IPTOP,全免費!專利年費監(jiān)控用IP管家,真方便!
龍圖騰網獲悉上海合見工業(yè)軟件集團有限公司;成都融見軟件科技有限公司申請的專利一種錯誤注入的方法、電子設備及存儲介質獲國家發(fā)明授權專利權,本發(fā)明授權專利權由國家知識產權局授予,授權公告號為:CN118886392B 。
龍圖騰網通過國家知識產權局官網在2025-09-23發(fā)布的發(fā)明授權授權公告中獲悉:該發(fā)明授權的專利申請?zhí)?專利號為:202410900315.5,技術領域涉及:G06F30/398;該發(fā)明授權一種錯誤注入的方法、電子設備及存儲介質是由張馳;郭晨光設計研發(fā)完成,并于2024-07-05向國家知識產權局提交的專利申請。
本一種錯誤注入的方法、電子設備及存儲介質在說明書摘要公布了:本發(fā)明涉及芯片驗證技術領域,特別是涉及一種錯誤注入的方法、電子設備及存儲介質,其通過對每個目標模型進行初始化,包括:目標模型獲取所述錯誤注入模型的模型實例;目標模型通過模型實例向所述錯誤注入模型注冊目標模型自身的所有硬件錯誤類型;所述激勵端將注冊的所有硬件錯誤類型中的部分或者全部硬件錯誤類型注入所述錯誤注入模型中并進行保存;當對目標模型進行仿真或者測試的過程中,運行到錯誤發(fā)生點時,讀取所述錯誤注入模型中保存的硬件錯誤類型,當讀取成功時確定發(fā)生了對應的硬件錯誤;否則,未發(fā)生對應的硬件錯誤。達到了模擬真實錯誤,確保目標模型功能的完整性的目的。
本發(fā)明授權一種錯誤注入的方法、電子設備及存儲介質在權利要求書中公布了:1.一種錯誤注入方法,其特征在于,所述方法包括如下步驟: S100,獲取激勵端和模型端,所述模型端包括錯誤注入模型和N個目標模型的集合LTset;其中,錯誤注入模型中包括注冊錯誤接口registerError和獲取錯誤接口getError;LTset中第i個目標模型LTi為芯片的功能模型,LTi包括預設的M個硬件錯誤類型的集合ErrTypeSeti,其中第q個硬件錯誤類型為ErrTypei,q;ErrTypei,q在LTi中預設K個錯誤發(fā)生點的集合ErrOccSeti,q,其中,N、M和K分別大于等于1,i的取值范圍為1到N,q的取值范圍為1到M; S200,對每個目標模型進行初始化,其中,LTi的初始化步驟包括: S210,LTi獲取所述錯誤注入模型的模型實例inst; S220,LTi通過inst的registerError向所述錯誤注入模型注冊ErrTypeSeti; S300,對每個目標模型進行錯誤注入,其中,LTi的錯誤注入步驟包括:所述激勵端將ErrTypeSeti中的M1個硬件錯誤類型注入所述錯誤注入模型并保存為LTi的錯誤集合LTi_subErrSet,其中,LTi_subErrSet為ErrTypeSeti的子集,0≤M1≤M; S400,當對LTi進行仿真或者測試的過程中,運行到ErrOccSeti,q中的錯誤發(fā)生點時,根據(jù)ErrTypei,q自動調用getError;getError通過inst讀取所述錯誤注入模型中保存的LTi_subErrSet,當ErrTypei,q與LTi_subErrSet中的硬件錯誤匹配成功時,確定發(fā)生了ErrTypei,q的錯誤;否則,ErrTypei,q的錯誤未發(fā)生。
如需購買、轉讓、實施、許可或投資類似專利技術,可聯(lián)系本專利的申請人或專利權人上海合見工業(yè)軟件集團有限公司;成都融見軟件科技有限公司,其通訊地址為:201203 上海市浦東新區(qū)中國(上海)自由貿易試驗區(qū)張東路1158號、丹桂路1059號2幢305-7室;或者聯(lián)系龍圖騰網官方客服,聯(lián)系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。
1、本報告根據(jù)公開、合法渠道獲得相關數(shù)據(jù)和信息,力求客觀、公正,但并不保證數(shù)據(jù)的最終完整性和準確性。
2、報告中的分析和結論僅反映本公司于發(fā)布本報告當日的職業(yè)理解,僅供參考使用,不能作為本公司承擔任何法律責任的依據(jù)或者憑證。