使用Cadence Incisive13.2实现验证自动化

摘要：

Incisive 13.2平台为整体验证系统级芯片(SoC)性能和生产效率设定了新的标准.对于验证,验证工程师并不太担心晶体管的数量;相反,他们所担心的是设计中的状态位数量.对设计人员来说,设计加倍后的大小为2* X的数量.对验证工程师来说是2(∧)X的数量.因此,过去只需提升性能的验证任务现在可能需要一个更有效的方法.本文将介绍10种新的方法,Cadence Incisive 13.2平台可自动验证以解决这一指数增长的难题.

机标关键词：验证、设计、工程师、系统级芯片、指数增长、提升性能、生产效率、平台、方法、晶体管、状态、人员、标准

所属期刊栏目：23

分类号：TP3;TP2

在线出版日期：2014-08-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：44-47