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

• 作者: Adam Sherer
• 来源期刊: 中国集成电路
• 年，卷（期）: 2014,（7）
• 所属期刊栏目: 设计
• 页码范围: 44-47
• 页数: 4页
• 字数: 3512字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	Adam Sherer		2	0	0.0	0.0