期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于NanoSim-VCS的芯片级混合信号验证
被引量：
2
1
作者
胡越黎
经文怡
宣祥光
《上海大学学报（自然科学版）》
CAS
CSCD
北大核心
2009年第1期42-46,共5页
在混合信号系统芯片设计过程中,复杂的全芯片系统验证以及数字单元和模拟IP电路间的接口节点分析成为设计的瓶颈.提出一种基于NanoSim-VCS的混合信号验证方法,以SHU-MV06芯片为具体对象,对一个包括Verilog和SPICE的数模混合系统设计进...
在混合信号系统芯片设计过程中,复杂的全芯片系统验证以及数字单元和模拟IP电路间的接口节点分析成为设计的瓶颈.提出一种基于NanoSim-VCS的混合信号验证方法,以SHU-MV06芯片为具体对象,对一个包括Verilog和SPICE的数模混合系统设计进行验证.这一验证方法在仿真的速度和精度间进行折衷,在保证一定精度的基础上大大缩短了仿真时间,提高了验证效率,使设计人员在早期仿真阶段就能及时发现设计中的问题,改进了设计质量.采用此方法验证的数模混合系统级芯片SHU-MV06一次流片成功,表明了此方法的正确性和有效性.
展开更多
关键词
模拟数字混合信号验证
NanoSim—VCS
片上系统芯片SoC
在线阅读
下载PDF
职称材料
模拟与混合信号电路的形式化验证
被引量：
1
2
作者
杨世瀚
吴尽昭
+1 位作者
丁广泓
秦董洪
《计算机工程》
CAS
CSCD
北大核心
2016年第8期34-38,45,共6页
针对模拟与混合信号(AMS)电路形式化建模逼真度低和描述不规范的问题,提出一种基于基尔霍夫电流定律节点分析的形式化建模方法。通过扩展计算树逻辑公式,在保留电路更多物理特性的前提下综合描述和验证AMS电路的离散事件和动态行为,保...
针对模拟与混合信号(AMS)电路形式化建模逼真度低和描述不规范的问题,提出一种基于基尔霍夫电流定律节点分析的形式化建模方法。通过扩展计算树逻辑公式,在保留电路更多物理特性的前提下综合描述和验证AMS电路的离散事件和动态行为,保证性质验证的精确性和可信性。以环形振荡器为例,给出该方法的实现过程,并通过Coho工具对振荡器电路进行验证。实验结果表明该方法正确、有效。
展开更多
关键词
形式化验证
模拟与混合信号电路
混杂系统
基尔霍夫电流定律
计算树逻辑
在线阅读
下载PDF
职称材料
题名
基于NanoSim-VCS的芯片级混合信号验证
被引量：
2
1
作者
胡越黎
经文怡
宣祥光
机构
上海大学机电工程与自动化学院
上海飞乐股份有限公司技术中心
出处
《上海大学学报（自然科学版）》
CAS
CSCD
北大核心
2009年第1期42-46,共5页
基金
上海市科委集成电路设计专项资助项目(077062008)
文摘
在混合信号系统芯片设计过程中,复杂的全芯片系统验证以及数字单元和模拟IP电路间的接口节点分析成为设计的瓶颈.提出一种基于NanoSim-VCS的混合信号验证方法,以SHU-MV06芯片为具体对象,对一个包括Verilog和SPICE的数模混合系统设计进行验证.这一验证方法在仿真的速度和精度间进行折衷,在保证一定精度的基础上大大缩短了仿真时间,提高了验证效率,使设计人员在早期仿真阶段就能及时发现设计中的问题,改进了设计质量.采用此方法验证的数模混合系统级芯片SHU-MV06一次流片成功,表明了此方法的正确性和有效性.
关键词
模拟数字混合信号验证
NanoSim—VCS
片上系统芯片SoC
Keywords
analog and mixed-signal （ams） verification
NanoSim-VCS
System-on-Chip （SoC）
分类号
TN402 [电子电信—微电子学与固体电子学]
在线阅读
下载PDF
职称材料
题名
模拟与混合信号电路的形式化验证
被引量：
1
2
作者
杨世瀚
吴尽昭
丁广泓
秦董洪
机构
广西混杂计算与集成电路设计分析重点实验室
广西民族大学信息科学与工程学院
出处
《计算机工程》
CAS
CSCD
北大核心
2016年第8期34-38,45,共6页
基金
国家自然科学基金资助项目(11371003
11461006
+2 种基金
61420009)
广西自然科学基金资助项目(2014GXNSFAA118359
2014G XNSFAA118358)
文摘
针对模拟与混合信号(AMS)电路形式化建模逼真度低和描述不规范的问题,提出一种基于基尔霍夫电流定律节点分析的形式化建模方法。通过扩展计算树逻辑公式,在保留电路更多物理特性的前提下综合描述和验证AMS电路的离散事件和动态行为,保证性质验证的精确性和可信性。以环形振荡器为例,给出该方法的实现过程,并通过Coho工具对振荡器电路进行验证。实验结果表明该方法正确、有效。
关键词
形式化验证
模拟与混合信号电路
混杂系统
基尔霍夫电流定律
计算树逻辑
Keywords
formal
verification
analog
and Mixed Signal
（ams
） circuit
hybrid system
Kirchhoff＇ s Current Law （KCL）
Computation Tree Logic （CTL）
分类号
TP302.7 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于NanoSim-VCS的芯片级混合信号验证
胡越黎
经文怡
宣祥光
《上海大学学报（自然科学版）》
CAS
CSCD
北大核心
2009
2
在线阅读
下载PDF
职称材料
2
模拟与混合信号电路的形式化验证
杨世瀚
吴尽昭
丁广泓
秦董洪
《计算机工程》
CAS
CSCD
北大核心
2016
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
