期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
SOC设计验证技术
被引量:
1
下载PDF
职称材料
导出
摘要
本文论述了SOC正确性验证所使用的模拟、形式验证技术和静态验证技术等,并讨论了在设计过程中系统级、模块级、门级和物理级各个层次中的验证方法。
作者
蒋安平
机构地区
北京大学微电子学研究院
出处
《中国集成电路》
2004年第5期48-52,共5页
China lntegrated Circuit
关键词
SOC
正确性验证
形式验证
静态验证
模拟技术
分类号
TN47 [电子电信—微电子学与固体电子学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
6
引证文献
1
二级引证文献
1
同被引文献
6
1
可动态重置的PSoC器件瞄准多种应用[J]
.电子设计技术 EDN CHINA,2004,11(4):50-50.
被引量:1
2
Eddy Blokken,高腾.
IMEC在面向SOC和嵌入式系统的系统级设计领域的研究工作[J]
.中国集成电路,2004(9):39-45.
被引量:1
3
甘学温等编著.纳米CMOS器件[M]. 科学出版社, 2003
4
付士萍.
迎世纪朝阳 创时代篇章——Soc是新世纪IC设计的主流[J]
.世界产品与技术,2003(10):30-36.
被引量:1
5
于宗光.
SOC设计值得注意的几个方面[J]
.世界产品与技术,2003(10):38-40.
被引量:1
6
羽龙.
可编程SoC前程似锦[J]
.世界产品与技术,2003(10):44-46.
被引量:1
引证文献
1
1
翁寿松.
SoC与Sopc有望成为继MPU之后的第二大热门IC[J]
.集成电路应用,2004,21(11):1-4.
被引量:1
二级引证文献
1
1
翁寿松.
降低IC芯片成本与提高设备自动化[J]
.电子工业专用设备,2006,35(7):10-13.
1
谈晓婷,付宇卓,谢凯年.
SoC静态时序分析中时序约束策略的研究及实例[J]
.微电子学与计算机,2006,23(4):64-67.
被引量:10
2
舒适,唐长文,闵昊.
ASIC综合后的静态验证方法的研究[J]
.微电子学,2004,34(1):56-59.
被引量:4
3
王国章,须自明,刘战,于宗光.
SoC芯片验证技术的研究[J]
.微计算机信息,2007,23(23):132-133.
被引量:9
4
马凤翔,孙义和.
数字芯片设计的断言验证[J]
.中国集成电路,2004(2):37-41.
被引量:1
5
梁茂,魏廷存,魏晓敏,李博.
单片集成TFT-LCD驱动芯片内置SRAM验证技术研究[J]
.液晶与显示,2008,23(1):91-95.
被引量:6
中国集成电路
2004年 第5期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部