SOC验证

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

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
基于形式验证的多周期路径检测技术
《计算机测量与控制》2022年第4期35-39,97,共6页朱秋岩 
多周期路径是将复杂电路运算拆分在多个时钟周期完成,从而提高电路总体运行频率的一种方法;在设计和验证中,多周期路径约束错误会导致设计迭代反复和验证误报;文章对多周期路径的产生机理和设计验证中常见的问题进行分类分析,提出一种...
关键词:SOC验证 时序分析 形式验证 多周期路径 断言 
以太网IP核的FPGA验证被引量:1
《微处理机》2020年第4期30-32,共3页蔡玉辉 
随着智能互联设备的多元化,具有以太网功能的SoC芯片得到广泛应用。片上系统开发验证技术中,FPGA原型验证是SoC芯片功能验证的有效途径,可以在设计前期及时发现设计中存在的问题。从硬件平台和软件平台两方面对基于FPGA的以太网IP核验...
关键词:以太网IP核 SOC验证 软硬件协同验证 FPGA验证 
提高SoC系统级仿真效率的研究
《集成电路应用》2018年第6期15-17,共3页张修钦 罗军 郭涛 王成伟 
国家科技重大专项"核高基"国家高技术发展计划课题项目
分析了业界常用的SoC(System on Chip)系统级验证方法,并阐述了提高SoC系统级仿真效率的三种方法。一是通过VIP(Verification Intellectual Property)代替CPU(Central Processing Unit)来加速仿真,二是通过空逻辑来代替相关模块实际代...
关键词:集成电路设计 SOC验证 仿真加速 VCS 
体域网基带验证平台设计与实现被引量:1
《电子技术应用》2016年第6期71-73,80,共4页吴开斌 陈岚 吕超 
国家自然科学基金资助项目(61303253;61502476)
测试验证是SoC设计过程中的重要步骤,针对穿戴式体域网基带SoC在验证中的测试向量复杂、射频可靠性要求高、结果多样化等挑战,设计并实现了体域网基带测试验证平台。在硬件设计上,采用高集成度FPGA(Altera Cyclone Ⅲ)、射频芯片(MAX28...
关键词:无线体域网 SOC验证 IEEE802.15.6基带 状态机 服务质量 
可满足性求解方法在SoC验证和测试中的应用
《牡丹江师范学院学报(自然科学版)》2015年第4期25-27,共3页孙强 
黑龙江省高校青年学术骨干项目(1253G060)
介绍可满足性(SAT)求解方法在向量自动生成、符号模型检查和组合电路等价性检查等在电子设计自动化(Electronic Design automation,EDA)研究领域中的应用,阐述SoC芯片验证和测试采用可满足性(SAT)方法进行解决的原理.满足性(SAT)求解方...
关键词:片上系统 验证 测试 可满足性问题 
SoC仿真验证中多核技术的研究与应用
《现代电子技术》2015年第6期126-128,132,共4页刘瑞 邵智勇 康春雷 李斌 
随着SoC设计规模的日益增大,结构逐渐复杂,仿真验证已经成为Soc设计过程中重要的环节,其所需时间往往成为整个设计周期的瓶颈,因而研究和应用能够加快验证仿真速度的技术变得愈发重要。Synopsys公司的仿真工具VCS所提供的多核技术就是...
关键词:SOC验证 VCS 多核技术 设计级并行 
SoC验证走出实验室良机已到被引量:1
《中国集成电路》2014年第3期36-37,共2页Richard Pugh 
SoC验证超越了常规逻辑仿真,但用于加速SoC验证的广泛应用的三种备选方法不但面临可靠性问题,而且难以进行权衡。而且,最重要的问题还在于硬件加速访问权限、时机及其稳定性。
关键词:SOC验证 实验室 可靠性问题 逻辑仿真 访问权限 硬件加速 稳定性 
基于SPARC V8的事务级SoC验证平台设计
《微电子学与计算机》2014年第3期159-163,共5页杨奕 付方发 王晗宇 来逢昌 
针对片上系统SoC架构设计和嵌入式软件开发的需求,采用事务级建模方法使用SystemC完成了基于SPARC V8的事务级SoC验证平台的设计.为降低设计复杂度和提高仿真速度,基于解释-执行技术完成SPARC V8处理器指令精确事务级模型建模,并利用Sys...
关键词:SPARC V8 SoC 事务级 SystemC仿真速度 
使用先进技术来加速SoC验证被引量:1
《电子产品世界》2013年第12期51-54,共4页李响 
近年来,由于设计复杂度的增长,对于验证提出了更高的要求。验证环境变得越来越大,越来越复杂,设计和验证的双重压力导致仿真变得越来越慢。所有验证/仿真的速度已经成为当前SOC设计进程中的重大挑战。本文网络版地址:http://www.eepw.co...
关键词:SOC SYNOPSYS 验证 
Incisive Enterprise Simulator:SoC验证
《世界电子元器件》2013年第7期23-23,共1页
Cadence设计系统公司推出了新版本IncisiveEnterpriseSimulator,该版本将复杂SoC的低功耗验证效率提高了30%。13.1版的CadenceIncisiveEnterpriseSimulator致力于解决低功耗验证的问题,包括高级建模、调试、功率格式支持,并且为当...
关键词:SOC验证 Cadence设计系统公司 低功耗 INC 版本 
检索报告 对象比较 聚类工具 使用帮助 返回顶部