当今功能验证在人力资源、复杂度和完成时间上的挑战远远超过了没汁方面的挑战,这就要求尽可能多地重复利用验证资源。什么是验证的重用?和设计重用类似,从高层次定义,验证重用是通过重复利用一些验证代码来提高验证效率,减少验证代价并且得到高质量的设计。
电子设计应用2004年6期
1《师道·教研》2024年10期
2《思维与智慧·上半月》2024年11期
3《现代工业经济和信息化》2024年2期
4《微型小说月报》2024年10期
5《工业微生物》2024年1期
6《雪莲》2024年9期
7《世界博览》2024年21期
8《中小企业管理与科技》2024年6期
9《现代食品》2024年4期
10《卫生职业教育》2024年10期