本發明公開了一種基于事務類型激勵的驗證方法,包括:獲取目標特征向量;利用預先構造的轉換工具將所述目標特征向量轉換成對應的目標事務類型激勵;利用所述目標事務類型激勵對待測芯片進行仿真驗證。與現有技術相比,本申請中僅需獲取目標特征向量,即可利用轉換工具將目標特征向量轉換成對應的事務類型激勵,進而完成待測芯片的驗證,而無需由人工編寫事務類型激勵,從而大大降低了人工工作的復雜度和工作量,且由于特征向量較事務類型激勵而言,構造工作非常簡單,因此,大大降低了出錯率,進一步降低了驗證失效的幾率。
聲明:
“基于事務類型激勵的驗證方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)