当今功能验证在人力资源、复杂度和完成时间上的挑战远远超过了没汁方面的挑战,这就要求尽可能多地重复利用验证资源。什么是验证的重用?和设计重用类似,从高层次定义,验证重用是通过重复利用一些验证代码来提高验证效率,减少验证代价并且得到高质量的设计。
电子设计应用2004年6期
1《工程建设与设计》2024年6期
2《安徽建筑》2024年2期
3《人生与伴侣·共同关注》2024年2期
4《花卉》2024年8期
5《天津教育》2024年8期
6《现代经济信息》2024年5期
7《世界热带农业信息》2024年3期
8《家庭医学》2024年2期
9《学周刊》2024年14期
10《中国中医药现代远程教育》2024年10期