高级验证技术.pdf

在过去的几年里，电子行业出现了三个爆炸性的领域设计验证的增长。第一个慹xplosion吗?一直是巨大的集成电路验证要求增加抯asic?assp?soc(SoCs)和更大的系统。这种情况由于使用的迅速增加而更加严重这些系统中的嵌入式处理器来自最大的网络基础设施从盒子一直到数码相机和无线网络等家用电器手机。处理器深深嵌入到系统中?验证不能更长的时间只专注于硬件?但必须扩大其范围，包括co-verification硬件相关的软件?以及中间件的大型组件以及整个系统上下文中的应用程序软件验证。爆炸性增长的第二个领域是核查的数量和种类方法和语言。包括基