SoC设计中的验证技术有哪些?.pdf

系统复杂性继续按照摩尔定律增加而功能复杂性的增长速度则更加迅猛为解决这一问题行业提出了通过自动化来实现)设计抽象的概念设计生产率的提升速度将继续低于复杂性的增速此时与之相关的瓶颈已并非设计时间而是验证时间即验证瓶颈为了应对验证瓶颈可以提高设计师的生产率和验证生产率行业采用了一种与解决设计瓶颈问题相似的,抽象概念这提供了对数据的进一步控制以便在所有的功能上实现设计的全面执行然而这些构件过去是不可综合的因此未被设计师用作实际设计代码的一部分’随着复杂性的继续提高人们创建并引入了能够在不同的抽象级上对复杂设计进行验证的新型验证语言界推出并给予支持的最新语言是 和