检索结果-维普期刊中文期刊服务平台

基于总线功能模型的全系统FPGA验证环境设计被引量：1: 1; 作者薛利强于真《航空发动机》 2017年第1期13-16,共4页; 为了解决发动机控制领域中可编程门阵列设计复杂性日益增长而导致的验证困难问题,提出了1种FPGA的全系统验证方案,用以实现全面高效的功能验证。根据控制系统设计方案,对照控制器电路结构进行验证平台的搭建,通过基于总线功能模型的方... 展开更多; 关键词可编程门阵列验证平台总线功能模型全权限数字电子控制系统航空发动机; 在线阅读下载PDF 职称材料

IP可重用的AMBA AXI总线验证平台设计与实现被引量：8: 2; 作者侯秋菊沈海华《计算机工程与设计》 CSCD 北大核心 2008年第7期1713-1715,1753,共4页; 总线结构和互联是SoC设计的核心,因此基于总线的验证成为SoC功能验证的重点和难点。针对AMBA AXI总线的特点以及验证平台可重用性的要求,提出了一种基于IP可重用的、层次化的AMBAAXI总线协议的验证架构,并给出了该架构下激励生成、自检... 展开更多; 关键词系统集成芯片总线功能模型断言代码覆盖率功能覆盖率; 在线阅读下载PDF 职称材料

八通道多协议串行通信控制器的功能验证: 3; 作者周吉吉何书专 +3 位作者李伟娄孝祥张仲金李丽《半导体技术》 CAS CSCD 北大核心 2008年第11期1036-1040,共5页; 超大规模集成电路芯片的验证是一项复杂的任务,占据了整个芯片设计工作量的70%。实现了一款八通道多协议串行通信控制器芯片的功能验证,介绍了基于总线功能模型验证平台的建立方法,并根据此芯片的设计特点,研究了该芯片的验证策略,设计... 展开更多; 关键词功能验证验证平台总线功能模型; 在线阅读下载PDF 职称材料

基于ARM核的片上可编程系统的功能验证: 4; 作者金轶丰《计算机工程》 EI CAS CSCD 北大核心 2005年第6期192-194,共3页; 介绍了一种快速准确的片上系统验证方法。这种方法改善了针对当今高性能的系统设计的验证过程,从而减少了开发整个系统所需要的成本。; 关键词验证 VERILOG硬件描述语言 AHB 总线功能模型测试基; 在线阅读下载PDF 职称材料

通用PCI目标控制器的设计与实现被引量：1: 5; 作者王新胜王晨旭付明旺《计算机工程》 CAS CSCD 北大核心 2009年第5期227-229,共3页; 在研究PCI总线规范的基础上,完成PCI目标控制器的功能描述和验证,从整体设计、数据通路和控制路径的建立上阐述对目标控制器的设计,实现了FIFO型数据接口和寄存器型数据接口,以满足通用性。使用总线功能模型完成对PCI目标控制器的功能验... 展开更多; 关键词 PCI总线目标控制器总线功能模型; 在线阅读下载PDF 职称材料

一种融合FPGA和ISS技术的软硬件协同验证方法被引量：1: 6; 作者王培东李锋伟杨俊成《计算机工程与应用》 CSCD 北大核心 2009年第30期73-75,79,共4页; 建立了一种基于硬件加速器FPGA和指令集模拟器ISS对嵌入式系统功能进行软硬件协同验证的方法。针对此方法的实现,分析了协同验证过程中软硬件交互技术,并给出总线功能模型BFM结构及其实现方法。经实例验证分析表明,基于FPGA和ISS的协同... 展开更多; 关键词软硬件协同验证现场可编程门阵列指令集模拟器总线功能模型; 在线阅读下载PDF 职称材料

基于VPM和随机激励的处理器核仿真建模: 7; 作者许彤张仕健吕涛《计算机工程》 CAS CSCD 北大核心 2010年第20期19-21,24,共4页; 为提高处理器核仿真模型的效率,提出基于SimpleScalar架构对龙芯1号处理器进行虚拟处理器模型行为建模,IPC平均误差为2.3%,速度达到每秒1 000 000条指令。基于可控随机事件机制实现的总线功能模型可以为片上系统(SoC)设计提供激励主动... 展开更多; 关键词 IP仿真模型 SimpleScalar模拟器可控随机事件总线功能模型龙芯1号处理器; 在线阅读下载PDF 职称材料

通信系统中SystemC可重用验证平台的设计被引量：2: 8; 作者王琛陈永洲《光通信研究》北大核心 2010年第3期11-13,25,共4页; 文章以SystemC为验证语言的通信系统的可重用验证平台的设计思路,通过层次化设计,将验证平台划分为4个层次:用户层、配置管理层、总线功能模型层和待测设计层。介绍了各层接口的通信方式,着重介绍了用户层模块、算法模块、端口模块、激... 展开更多; 关键词验证平台可重用性受控随机激励总线功能模型; 在线阅读下载PDF 职称材料

题名基于总线功能模型的全系统FPGA验证环境设计被引量：1: 1; 作者薛利强于真; 机构中国航发航空动力控制系统研究所; 出处《航空发动机》 2017年第1期13-16,共4页; 基金国家重大基础研究项目资助; 文摘为了解决发动机控制领域中可编程门阵列设计复杂性日益增长而导致的验证困难问题,提出了1种FPGA的全系统验证方案,用以实现全面高效的功能验证。根据控制系统设计方案,对照控制器电路结构进行验证平台的搭建,通过基于总线功能模型的方法对系统中FPGA所控制的外设进行建模,并在验证平台中进行与电路完全一致的连接。按照系统测试计划编制测试用例对全系统进行模拟仿真。测试结果表明:全系统FPGA的验证能够模拟控制器实际运行状态,提升了验证层次与效率,对发动机数控系统的设计质量提升有显著作用。; 关键词可编程门阵列验证平台总线功能模型全权限数字电子控制系统航空发动机; Keywords FPGA verification platform bus functional model FADEC aeroengine; 分类号 V216.7 [航空宇航科学与技术—航空宇航推进理论与工程]; 在线阅读下载PDF 职称材料

题名IP可重用的AMBA AXI总线验证平台设计与实现被引量：8: 2; 作者侯秋菊沈海华; 机构中国科学院计算技术研究所; 出处《计算机工程与设计》 CSCD 北大核心 2008年第7期1713-1715,1753,共4页; 基金国家863高技术研究发展计划基金项目(2002AA110010) 国家自然科学基金项目(60603049) 中国科学院知识创新工程重大基金项目(KGCX1-SW-09); 文摘总线结构和互联是SoC设计的核心,因此基于总线的验证成为SoC功能验证的重点和难点。针对AMBA AXI总线的特点以及验证平台可重用性的要求,提出了一种基于IP可重用的、层次化的AMBAAXI总线协议的验证架构,并给出了该架构下激励生成、自检测及覆盖率分析机制。实验结果表明,该架构适用于各种基于AXI总线结构的IP和SoC的验证,能达到较理想的覆盖率,并且具有很好的收敛性。; 关键词系统集成芯片总线功能模型断言代码覆盖率功能覆盖率; Keywords SoC BFM assertion code coverage functional coverage; 分类号 TP39 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名八通道多协议串行通信控制器的功能验证: 3; 作者周吉吉何书专李伟娄孝祥张仲金李丽; 机构南京大学物理系微电子设计研究所江苏省光电信息功能材料重点实验室; 出处《半导体技术》 CAS CSCD 北大核心 2008年第11期1036-1040,共5页; 基金国家自然科学基金资助项目(90307011) 国家863项目资助(2008AA01Z135) 广东省科技计划资助(2006B50101003); 文摘超大规模集成电路芯片的验证是一项复杂的任务,占据了整个芯片设计工作量的70%。实现了一款八通道多协议串行通信控制器芯片的功能验证,介绍了基于总线功能模型验证平台的建立方法,并根据此芯片的设计特点,研究了该芯片的验证策略,设计了验证平台,同时完成了芯片的后仿真和样片测试。实践证明,该验证策略具有较高的功能覆盖率,验证平台具有较好的复用性,对同类具有复杂通信协议电路的功能验证有一定的参考价值。; 关键词功能验证验证平台总线功能模型; Keywords functional verification testbench bus functional model; 分类号 TN407 [电子电信—微电子学与固体电子学]; 在线阅读下载PDF 职称材料

题名基于ARM核的片上可编程系统的功能验证: 4; 作者金轶丰; 机构上海交通大学微电子学院华东计算技术研究所; 出处《计算机工程》 EI CAS CSCD 北大核心 2005年第6期192-194,共3页; 文摘介绍了一种快速准确的片上系统验证方法。这种方法改善了针对当今高性能的系统设计的验证过程,从而减少了开发整个系统所需要的成本。; 关键词验证 VERILOG硬件描述语言 AHB 总线功能模型测试基; Keywords Verification Verilog HDL AHB BFM Testbench; 分类号 TP306 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名通用PCI目标控制器的设计与实现被引量：1: 5; 作者王新胜王晨旭付明旺; 机构哈尔滨工业大学(威海)微电子中心; 出处《计算机工程》 CAS CSCD 北大核心 2009年第5期227-229,共3页; 文摘在研究PCI总线规范的基础上,完成PCI目标控制器的功能描述和验证,从整体设计、数据通路和控制路径的建立上阐述对目标控制器的设计,实现了FIFO型数据接口和寄存器型数据接口,以满足通用性。使用总线功能模型完成对PCI目标控制器的功能验证,测试结果显示该模型满足功能要求,同时进行了FPGA实现,完全符合PCI v2.2规范要求。; 关键词 PCI总线目标控制器总线功能模型; Keywords Peripheral Component Interconnect（PCI） bus target controller bus function models; 分类号 TP336 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种融合FPGA和ISS技术的软硬件协同验证方法被引量：1: 6; 作者王培东李锋伟杨俊成; 机构哈尔滨理工大学计算机科学与技术学院长春工业大学计算机科学与技术学院; 出处《计算机工程与应用》 CSCD 北大核心 2009年第30期73-75,79,共4页; 文摘建立了一种基于硬件加速器FPGA和指令集模拟器ISS对嵌入式系统功能进行软硬件协同验证的方法。针对此方法的实现,分析了协同验证过程中软硬件交互技术,并给出总线功能模型BFM结构及其实现方法。经实例验证分析表明,基于FPGA和ISS的协同验证方法,在对嵌入式应用系统验证中与其他几种常用方法比较具有较明显的优势。; 关键词软硬件协同验证现场可编程门阵列指令集模拟器总线功能模型; Keywords Hardware/Software co-verification Field Programmable Gate Array（FPGA） Instruction Set Simulato（rISS） Bus Functional Mode（lBFM）; 分类号 TP302.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于VPM和随机激励的处理器核仿真建模: 7; 作者许彤张仕健吕涛; 机构中国科学院计算技术研究所微处理器中心中国科学院研究生院中国科学院计算技术研究所计算机系统结构重点实验室; 出处《计算机工程》 CAS CSCD 北大核心 2010年第20期19-21,24,共4页; 基金国家自然科学基金资助项目(60325205) 国家"863"计划基金资助重点项目(2002AA110010) 中科院计算所知识创新基金资助项目(20056230); 文摘为提高处理器核仿真模型的效率,提出基于SimpleScalar架构对龙芯1号处理器进行虚拟处理器模型行为建模,IPC平均误差为2.3%,速度达到每秒1 000 000条指令。基于可控随机事件机制实现的总线功能模型可以为片上系统(SoC)设计提供激励主动生成方案和片上互连验证功能。实验结果证明,该方法对处理器IP仿真建模具有普适意义,能够被无缝融入SoC流程中。; 关键词 IP仿真模型 SimpleScalar模拟器可控随机事件总线功能模型龙芯1号处理器; Keywords IP simulation model SimpleScalar simulator controllable random event Bus Functional Model（BFM） Godson-1 processor; 分类号 TP368.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名通信系统中SystemC可重用验证平台的设计被引量：2: 8; 作者王琛陈永洲; 机构光纤通信技术和网络国家重点实验室武汉邮电科学研究院; 出处《光通信研究》北大核心 2010年第3期11-13,25,共4页; 基金国家"九七三"计划资助项目(2010CB328300); 文摘文章以SystemC为验证语言的通信系统的可重用验证平台的设计思路,通过层次化设计,将验证平台划分为4个层次:用户层、配置管理层、总线功能模型层和待测设计层。介绍了各层接口的通信方式,着重介绍了用户层模块、算法模块、端口模块、激励产生模块、总线功能模块以及结果比较模块重用设计方法,依照此方法能快速高效地搭建可重用的验证平台。; 关键词验证平台可重用性受控随机激励总线功能模型; Keywords test bench reusability controlled randomized stimulus BFM; 分类号 TN915 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于总线功能模型的全系统FPGA验证环境设计	薛利强于真	《航空发动机》	2017	1	在线阅读下载PDF 职称材料
2	IP可重用的AMBA AXI总线验证平台设计与实现	侯秋菊沈海华	《计算机工程与设计》 CSCD 北大核心	2008	8	在线阅读下载PDF 职称材料
3	八通道多协议串行通信控制器的功能验证	周吉吉何书专李伟娄孝祥张仲金李丽	《半导体技术》 CAS CSCD 北大核心	2008	0	在线阅读下载PDF 职称材料
4	基于ARM核的片上可编程系统的功能验证	金轶丰	《计算机工程》 EI CAS CSCD 北大核心	2005	0	在线阅读下载PDF 职称材料
5	通用PCI目标控制器的设计与实现	王新胜王晨旭付明旺	《计算机工程》 CAS CSCD 北大核心	2009	1	在线阅读下载PDF 职称材料
6	一种融合FPGA和ISS技术的软硬件协同验证方法	王培东李锋伟杨俊成	《计算机工程与应用》 CSCD 北大核心	2009	1	在线阅读下载PDF 职称材料
7	基于VPM和随机激励的处理器核仿真建模	许彤张仕健吕涛	《计算机工程》 CAS CSCD 北大核心	2010	0	在线阅读下载PDF 职称材料
8	通信系统中SystemC可重用验证平台的设计	王琛陈永洲	《光通信研究》北大核心	2010	2	在线阅读下载PDF 职称材料