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