当今功能验证在人力资源、复杂度和完成时间上的挑战远远超过了没汁方面的挑战,这就要求尽可能多地重复利用验证资源。什么是验证的重用?和设计重用类似,从高层次定义,验证重用是通过重复利用一些验证代码来提高验证效率,减少验证代价并且得到高质量的设计。
电子设计应用2004年6期
1《合作经济与科技》2024年13期
2《婚育与健康》2024年10期
3《思维与智慧·上半月》2024年7期
4《中国商人》2024年7期
5《师道·教研》2024年6期
6《中国对外贸易》2024年6期
7《吉林医学》2024年3期
8《山西化工》2024年2期
9《伴侣》2024年6期
10《经济技术协作信息》2024年6期