首页
期刊导航
期刊检索
论文检索
新闻中心
期刊
期刊
论文
首页
>
《中国电业》
>
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期
相关推荐
视频处理芯片:数字监控技术变革的源泉
一种高性能多轴数字伺服控制芯片的设计与实现
我国数字频率合成芯片获突破进展
基于芯片HMR2300r的智能数字磁场计
现代汉语中的弱断言谓词“我想”
同分类资源
更多
[产业经济]
基于电力系统电气工程自动化的智能化的应用
[产业经济]
定制养“基”摇钱“术”
[产业经济]
关于调整和优化结构促进铁路发展的几点思考
[产业经济]
增值税转型改革对粮食企业财务的影响
[产业经济]
增强河南省城乡发展协调性探讨
相关关键词
数字芯片
断言验证
数学方法
返回顶部