131高清视频|凡人修仙传动漫高清免费完整观看|激情五月婷婷|国产在线自在拍91精品|日本中文字幕乱码在线电影|近直播比较火的黄台免费|免费网站在线观看

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