加勒比一本heyzo高清视频-免费精品无码av片在线观看-无码国产精品一区二区免费模式-去干成人网-成在人线av无码免费

物聯(lián)傳媒 旗下網(wǎng)站
登錄 注冊
覆蓋率驅(qū)動
  • 提出了一種采用覆蓋率驅(qū)動激勵產(chǎn)生算法的驗證技術(shù)，設(shè)計了一套完整的驗證平臺，成功地驗證了一款高頻RFID(射頻識別技術(shù))芯片。該技術(shù)的核心思想是在驗證過程中，通過分析功能覆蓋率和代碼覆蓋率，得出未覆蓋的邊界條件，進(jìn)而修改激勵產(chǎn)生的約束條件，產(chǎn)生測試激勵，驗證邊界條件，以有效地提高驗證覆蓋率?，F(xiàn)該驗證平臺所驗證的芯片已經(jīng)成功流片，且測試性能優(yōu)異。