首页 > 《中国电业》 > 2020年15期 > 数字芯片设计的断言验证

数字芯片设计的断言验证

在线阅读下载PDF 导出详情

摘要摘要 : 随着信息技术行业的发展，设计规模和输入数据量的指数性增长 ,模拟时间已长得无法忍受，另外，也很难判断模拟验证的完备性形式验证不用向量、运用数学方法证明设计的特征和等价性 ,对这两个问题给出解决办法 ,但技术发展仍存在不少难题在模拟中引入形式验证技术 ,形成的断言验证方法 ,可能是解决验证危机的有效办法。

DOI zdleep6zjl/4841216

作者房锐

机构地区成都嘉纳海威科技有限责任公司四川省 610000

出处《中国电业》 2020年15期

关键词数字芯片断言验证数学方法

分类 [经济管理][产业经济]

出版日期 2020年09月28日（中国期刊网平台首次上网日期，不代表论文的发表时间）

相关文献

1马凤翔;孙义和. 数字芯片设计的模拟验证.微电子学与固体电子学,2003-12.
2楼薇李犁吴艳. 手机基带芯片SoC中断系统的设计与验证初探.市政工程,2019-11.
3楼薇李犁吴艳. 手机基带芯片SoC中断系统的设计与验证初探.市政工程,2019-11.
4张卫清;许厚棣;唐亮. 雷达数字化收发系统芯片设计与实现.信号与信息处理,2016-03.
5周长仁. 数字微流控芯片POCT设备的设计与研制.建筑技术科学,2024-02.
6常华敏. 不要断言自己是弱者.思维科学,2003-10.
7刘广荣. 我国设计的数字电视芯片“中视一号”投片.物理电子学,2005-03.
8依然. 芯片厂商为数字家庭添砖加瓦.产业经济,2007-03.
9. 数字IC芯片的检测与诊断方法.信息与通信工程,2005-06.
10. 断言出口回暖为时尚早.纺织科学与工程,2009-10.

来源期刊

中国电业

2020年15期

数字芯片设计的断言验证

来源期刊

相关推荐

同分类资源更多

相关关键词

数字芯片设计的断言验证

来源期刊

相关推荐

同分类资源 更多

相关关键词

同分类资源更多