验证的方法篇之八：趋势展望

时间 2021-07-13

原文原文链接

本文转自：http://www.eetop.cn/blog/html/28/1561828-445860.html 目前主要的验证方式包括动态仿真、形式验证和硬件加速，那么如何选择它们，已经是否可以构建一个可复用的验证平台实现这些不同验证方法的跨越是接下来我们需要关心的。随着设计的尺寸和复杂度在不断提高，即便有IP复用的方式来缩短设计时间，更多模块之间的互动可能性也要求更充分地去验证这些状态空间。