當今功能驗證在人力資源、復雜度和完成時間上的挑戰(zhàn)遠遠超過了沒汁方面的挑戰(zhàn),這就要求盡可能多地重復利用驗證資源。什么是驗證的重用?和設計重用類似,從高層次定義,驗證重用是通過重復利用一些驗證代碼來提高驗證效率,減少驗證代價并且得到高質量的設計。
電子設計應用2004年6期
1《師道·教研》2024年10期
2《思維與智慧·上半月》2024年11期
3《現代工業(yè)經濟和信息化》2024年2期
4《微型小說月報》2024年10期
5《工業(yè)微生物》2024年1期
6《雪蓮》2024年9期
7《世界博覽》2024年21期
8《中小企業(yè)管理與科技》2024年6期
9《現代食品》2024年4期
10《衛(wèi)生職業(yè)教育》2024年10期
關于參考網