期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
SoC自动化验证方法的研究与实现 被引量：5
1
作者 段青亚 黄士坦 +2 位作者 靳荣利 张莎莎 苗硕 《吉林大学学报（信息科学版）》 CAS 2010年第3期231-237,共7页
为解决SoC(System-on-Chip)验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统(LSAVS:LiShan Automatic Verification System)。采用该验证系统后... 为解决SoC(System-on-Chip)验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统(LSAVS:LiShan Automatic Verification System)。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60%降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。 展开更多
关键词 soc验证 事务验证模型 soc自动化功能验证系统 测试覆盖率
在线阅读 下载PDF
南宁轨道交通5号线行车综合自动化系统新增功能联调方案与验证 被引量：1
2
作者 颜纯 《城市轨道交通研究》 北大核心 2023年第2期128-132,共5页
结合南宁轨道交通5号线一期工程,对FAO(全自动运行)和智慧车站等技术应用下TIAS(行车综合自动化系统)新增的典型功能,即SPKS(人员防护开关)与门禁抽屉的联动功能、一键开关站功能的联调方案进行了研究,并分析了该功能验证过程中的常见... 结合南宁轨道交通5号线一期工程,对FAO(全自动运行)和智慧车站等技术应用下TIAS(行车综合自动化系统)新增的典型功能,即SPKS(人员防护开关)与门禁抽屉的联动功能、一键开关站功能的联调方案进行了研究,并分析了该功能验证过程中的常见问题和解决方案。 展开更多
关键词 城市轨道交通 行车综合自动化系统 新增功能 联调 验证
在线阅读 下载PDF
基于随机测试的SoC系统级功能验证方法的研究 被引量：1
3
作者 杨珺 曹阳 +2 位作者 马秦生 张宁 冯浩 《电子技术应用》 北大核心 2008年第12期149-152,共4页
为了克服 RTL 级验证方法的局限性,提出了采用随机测试向量在 SoC 的系统级进行功能验证的方法。该方法采用高级建模语言来构建系统级的测试平台,采用多种随机化机制来生成测试向量。测试结果表明,该方法不仅能够获得较好的功能覆盖率,... 为了克服 RTL 级验证方法的局限性,提出了采用随机测试向量在 SoC 的系统级进行功能验证的方法。该方法采用高级建模语言来构建系统级的测试平台,采用多种随机化机制来生成测试向量。测试结果表明,该方法不仅能够获得较好的功能覆盖率,而且能够尽可能早地发现 SoC 设计中的功能性错误。 展开更多
关键词 soc 系统级功能验证 随机测试
在线阅读 下载PDF
提升电力系统自动化设备检测验证认证的国际化水平 被引量：3
4
作者 李富同 李浩 +2 位作者 张龙飞 梁志成 李亚萍 《电子质量》 2022年第5期164-175,共12页
技术的不断发展使得电力系统自动化的水平越来越高,电力系统的自动化对设备的可靠性运行要求随之越来越高,同时国内的自动化产品也必然走向国际化,因此按照国际化的水平对电力自动化设备进行可靠性检测和验证变得极其重要和关键,该文对... 技术的不断发展使得电力系统自动化的水平越来越高,电力系统的自动化对设备的可靠性运行要求随之越来越高,同时国内的自动化产品也必然走向国际化,因此按照国际化的水平对电力自动化设备进行可靠性检测和验证变得极其重要和关键,该文对电力系统自动化设备的研发检测和验证的国际化全球化管理思路、组织模式进行了分析,提出一些建议和见解。 展开更多
关键词 电力系统自动化设备 检测 验证 电磁兼容 功能安全 产品安全 可靠性
在线阅读 下载PDF
基于UVM的可重用SoC功能验证环境 被引量：10
5
作者 吕毓达 谢雪松 张小玲 《半导体技术》 CAS CSCD 北大核心 2015年第3期234-238,共5页
现在系统级芯片(So C)系统集成度和复杂度不断提高,验证环节消耗时间占用了芯片研发时间的70%,芯片验证已经成为芯片研发中最关键的环节。目前业界验证方法大多有覆盖率低和通用性差等缺点,基于上述原因提出了一种新的验证方法。与传统... 现在系统级芯片(So C)系统集成度和复杂度不断提高,验证环节消耗时间占用了芯片研发时间的70%,芯片验证已经成为芯片研发中最关键的环节。目前业界验证方法大多有覆盖率低和通用性差等缺点,基于上述原因提出了一种新的验证方法。与传统验证方法和单纯的通用验证方法学(UVM)不同,该方法结合系统级芯片验证和模块级验证的特点,并且融合UVM和知识产权验证核(VIP)模块验证的验证技术,且使用了So C系统功能仿真模型以提高验证覆盖率和准确性。验证结果表明,同一架构系列So C芯片可以移植于该验证平台中,并且可大幅缩短平台维护与开发时间,采用该验证方法的代码覆盖率为98.9%,功能覆盖率为100%。 展开更多
关键词 通用验证方法学(UVM) CPU功能模型 随机测试向量 系统级芯片验证 系统级芯片(soc)
在线阅读 下载PDF
“e”语言 一种新的高级数字系统验证语言 被引量：1
6
作者 夏宇闻 周文 《中国集成电路》 2003年第53期41-47,31,共8页
近二十年来,数字设计自动化环境随着设计复杂程度的提高经历了许多个发展阶段。近年来先后出现了"SystemVerilog"、"SystemC"、"e"等语言和行为综合器,它们把高度复杂 SOC 数字系统设计的验证和综合的自... 近二十年来,数字设计自动化环境随着设计复杂程度的提高经历了许多个发展阶段。近年来先后出现了"SystemVerilog"、"SystemC"、"e"等语言和行为综合器,它们把高度复杂 SOC 数字系统设计的验证和综合的自动化程度又大大提升了一步。本文综述了这几种高级硬件设计仿真语言,着重介绍"e"语言在验证通信用 SOC 芯片模型性能时的高效率。 展开更多
关键词 “e”语言 集成电路设计 数字系统验证语言 数字设计自动化 soc 通信芯片
在线阅读 下载PDF
基于IP模块的片上系统设计 被引量：11
7
作者 张镇 魏同立 《电子器件》 CAS 2002年第2期127-132,共6页
传统IC设计方法关注的是如何创建一个全新的设计并进行有效的验证。复杂的IP模块、嵌入式软件、不断增长的晶体管数量 ,这些都变成了传统方法日益沉重的负担。在片上系统SOC(system on chip)设计中 ,基于IP模块的功能组装正在逐渐代替... 传统IC设计方法关注的是如何创建一个全新的设计并进行有效的验证。复杂的IP模块、嵌入式软件、不断增长的晶体管数量 ,这些都变成了传统方法日益沉重的负担。在片上系统SOC(system on chip)设计中 ,基于IP模块的功能组装正在逐渐代替传统的功能设计而成为主流的设计方法。 展开更多
关键词 片上系统soc 设计方法 功能组装 软硬件协同设计 系统验证
在线阅读 下载PDF
在面向对象的SOC设计中应用设计模式 被引量：2
8
作者 刘付娥 葛宁 《中国集成电路》 2005年第2期35-42,共8页
SoC的几乎无限的晶体管集成度正在引发电子系统设计的一场革命,即完成一种转变——从以功能设计为基础的传统流程转变到以功能组装为基础的全新流程。面向对象的技术被引入并应用到SoC设计中来,从系统的建模、设计空间探索到软硬件协同... SoC的几乎无限的晶体管集成度正在引发电子系统设计的一场革命,即完成一种转变——从以功能设计为基础的传统流程转变到以功能组装为基础的全新流程。面向对象的技术被引入并应用到SoC设计中来,从系统的建模、设计空间探索到软硬件协同验证,贯穿于整个SoC设计过程中。设计模式是面向对象技术中一个很重要的概念和方法,将设计模式应用到SoC设计中来是一个很有前景的研究课题。本文总结了前人在这个问题上做出的探索和研究,分析了软件设计模式在SoC设计中的适用性和重要性,比较了软件设计模式与其在SoC设计中应用的不同,总结了硬件设计中的几种模式,具有一定的通用性。 展开更多
关键词 应用设计模式 soc设计 soc设计 软件设计模式 软硬件协同验证 电子系统设计 面向对象技术 功能设计 空间探索 设计过程 研究课题 硬件设计 集成度 晶体管 适用性 通用性 流程 基础
在线阅读 下载PDF
应用VMT快速搭建验证平台
9
作者 王小虎 龚敏 《现代电子技术》 2007年第15期150-152,共3页
介绍了如何应用验证模型快速搭建系统验证平台。在基于VMT的验证平台中,使用验证模型驱动待测系统,检测系统响应。该平台结构简单、思路清晰,有效地缩短了系统验证周期,提高了验证质量。结合项目给出了基于Synopsys公司提供的VIP验证模... 介绍了如何应用验证模型快速搭建系统验证平台。在基于VMT的验证平台中,使用验证模型驱动待测系统,检测系统响应。该平台结构简单、思路清晰,有效地缩短了系统验证周期,提高了验证质量。结合项目给出了基于Synopsys公司提供的VIP验证模型的验证平台框架与流程实例。 展开更多
关键词 系统功能验证 验证模型 验证环境 soc验证
在线阅读 下载PDF
芯原全面采用SpringSoft VERDI侦错系统
10
《中国集成电路》 2011年第5期2-2,共1页
SpringSoft日前宣布，ASIC设计与半导体IP供货商芯原股份有限公司（以下简称芯原）选用Verdi自动化侦错系统作为标准的侦错平台。Verdi软件现已全面部署至芯原全球研发部门，作为设计调试的参考流程，大幅缩短侦错时间并加速先进技术制... SpringSoft日前宣布，ASIC设计与半导体IP供货商芯原股份有限公司（以下简称芯原）选用Verdi自动化侦错系统作为标准的侦错平台。Verdi软件现已全面部署至芯原全球研发部门，作为设计调试的参考流程，大幅缩短侦错时间并加速先进技术制程中的复杂数字IC与系统芯片（SoC）功能验证。 展开更多
关键词 侦错 系统 ASIC设计 参考流程 功能验证 数字IC 自动化 供货商
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部