SOC验证

作品数：51被引量：82H指数：5
导出分析报告
相关领域：电子电信自动化与计算机技术更多>>
相关作者：申敏万超蔡叶芳田泽靳荣利更多>>
相关机构：重庆邮电大学哈尔滨工业大学北京大学中国科学院更多>>
相关期刊：《电子世界》《微电子学与计算机》《电子测试》《现代电子技术》更多>>
相关基金：国家高技术研究发展计划国家火炬计划国家自然科学基金武器装备预研基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 主题=片上系统x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
可满足性求解方法在SoC验证和测试中的应用
《牡丹江师范学院学报（自然科学版）》2015年第4期25-27,共3页孙强 
黑龙江省高校青年学术骨干项目(1253G060)
介绍可满足性(SAT)求解方法在向量自动生成、符号模型检查和组合电路等价性检查等在电子设计自动化(Electronic Design automation,EDA)研究领域中的应用,阐述SoC芯片验证和测试采用可满足性(SAT)方法进行解决的原理.满足性(SAT)求解方...
关键词：片上系统 验证 测试 可满足性问题 
μC/OS-Ⅱ对SoC验证支持技术的研究被引量：1
《自动化技术与应用》2010年第7期23-25,38,共4页闫效莺 
随着SoC设计规模的增大和设计复杂度的提高,对芯片设计深层次验证的必要性、工作量和难度也变得越来越大。在此背景下分析了SoC软硬件协同验证的原理及实现技术,研究了μC/OS-II在基于ARM7TDMI内核的SoC上的移植工作,提出了使用μC/OS-I...
关键词：片上系统 协同验证 μC/OS—II 多任务调度 
多FPGA系统在SoC验证中的应用被引量：1
《科技创新导报》2010年第9期98-98,共1页刘向阳 韩玺 钮文良 刘元盛 
片上系统(SoC)是一个前沿的科研方向,随着其理论和技术的逐步成熟与完善,验证是一个非常重要的部分。实现一个实用的SoC,一般先要进行FPGA(现场可编程门阵列)验证。多片FPGA验证还处于起步阶段,其验证方法和工具有很大的研究和发展空间...
关键词：片上系统 验证 多FPGA 配置 
1553B总线接口SoC验证平台的实现被引量：22
《航空计算技术》2008年第6期99-101,共3页郭蒙 田泽 蔡叶芳 赵强 
武器装备预研重点基金项目(9140A1601)
随着半导体技术的发展,验证已经成为SoC设计的瓶颈。分析了SoC验证面临的困难,结合1553B总线接口SoC芯片的具体实践,重点研究了SoC验证平台的一种构建实现方法。该方法提高了验证效率,缩短了整个设计验证周期。
关键词：1553B总线 片上系统 验证平台 SOC验证 
基于事务的RVM随机向量产生器在SOC验证中的应用被引量：1
《半导体技术》2007年第10期894-898,共5页万超 申敏 
国家"863"引导项目(2004AA001390);国家"火炬"计划项目(2006GH011409)
在搭建层次化验证平台时,产生器是一个重要的模块,它能否根据需要产生随机向量直接关系到测试平台的可靠性。传统的激励产生方法由于是用人工生成的,效率低且性能也不令人满意,已经不能满足当前大规模芯片验证的需求。介绍了一种基于事...
关键词：片上系统 事务 验证方法学 产生器 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部