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

基于SystemC描述的嵌入式系统的自动化验证被引量：1: 1; 作者陈燕杜玄彭澄廉《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2004年第8期1075-1079,共5页; 基于SystemC的嵌入式系统描述 ,提出了一种全新的自动化验证方法 .该方法采用面向方面编程技术、分离和封装测试代码 ,结合自动化测试框架 ,完成对系统的自动化验证 .此验证方法对被测系统无扰动 ,能适应测试要求的灵活变化 ,对嵌入式... 展开更多; 关键词嵌入式系统 systemc设计语言验证面向方面编程自动化; 在线阅读下载PDF 职称材料

基于SCV的MIPS指令集指令随机生成工具: 2; 作者尚利宏田冰《计算机应用》 CSCD 北大核心 2007年第8期1991-1993,共3页; 介绍了在SystemC的系统级建模与验证环境中,使用SCV实现用于M IPS指令集指令随机生成的工具。该随机指令生成工具包括静态生成与动态生成两种工作模式。并针对随机指令生成中会遇到的数据访问越界、分支/跳转地址越界等问题提出了解决... 展开更多; 关键词随机指令生成验证 systemc scv MIPS; 在线阅读下载PDF 职称材料

基于SCV的事务级验证建模被引量：1: 3; 作者方亮戎蒙恬 +1 位作者刘文江毛军发《计算机工程》 CAS CSCD 北大核心 2007年第15期238-240,共3页; 结合SystemC验证库(SCV)的特点,提出了一种新的事务级验证模型,对其中部分主要模块进行了描述。该模型具有事务级交易记录、结果自检测以及随机测试等特性,通过该模型能够构建事务级验证平台。通过RAM实例,描述了验证平台的构建过程。; 关键词 systemc验证库 systemc 事务级验证; 在线阅读下载PDF 职称材料

使用SystemC进行基于事务的验证被引量：3: 4; 作者牛振兴杜旭《计算机应用》 CSCD 北大核心 2006年第3期708-710,共3页; 分析了使用SystemC的基于事务的验证方法。它应用于一个具体项目的开发,并与传统的验证方法作了对比,证明它在验证效率和验证环境设计效率上均有明显优势。; 关键词基于事务的验证方法 systemc语言验证环境; 在线阅读下载PDF 职称材料

数字专用集成芯片前端验证方法研究被引量：3: 5; 作者罗琨赵磊 +3 位作者尹建华杨怡伟王琳曹阳《计算机工程与应用》 CSCD 北大核心 2002年第17期37-39,58,共4页; 在分析当前数字专用集成芯片前端验证问题的基础上,提出了一种基于SystemC软件建模的专用集成芯片RTL级验证方法,并应用到对网络调度处理芯片的具体验证实验中。实验数据表明:由于采用软件模型和软件控制技术,该方案在缩短验证周期、提... 展开更多; 关键词数字专用集成芯片前端验证方法寄存器传输级 systemc模型专用集成电路; 在线阅读下载PDF 职称材料

动态系统描述语言的特性、设计和实现被引量：1: 6; 作者张幂柴志雷涂时亮《小型微型计算机系统》 CSCD 北大核心 2010年第5期825-829,共5页; 介绍一种新型的动态系统描述语言,PDSDL.它比SystemC更加高效和灵活.(1)PDSDL使用了Python面向对象动态语言,(2)PDSDL创新性地提出了动态系统的概念.系统的建模、验证和综合全都依赖于运行时动态系统特性,而非传统的存储在非易失记忆体... 展开更多; 关键词 PDSDL PYTHON 动态系统描述语言 systemc 模拟验证综合; 在线阅读下载PDF 职称材料

数字信号处理器的模型验证: 7; 作者王海荣梁利平《电子测量技术》 2009年第5期111-115,共5页; 本文主要描述了对一款数字信号处理器的模型基于仿真验证的验证方法,对数字信号处理器的SystemC模型和RTL级的模型进行了验证。着重分析了如何在验证过程中提高覆盖率,提高验证的完备性。针对该处理器的结构特点,采用多种方式产生验证... 展开更多; 关键词验证数字信号处理器 systemc; 在线阅读下载PDF 职称材料

题名基于SystemC描述的嵌入式系统的自动化验证被引量：1: 1; 作者陈燕杜玄彭澄廉; 机构复旦大学计算机与信息技术系中兴通讯股份有限公司上海研究所; 出处《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2004年第8期1075-1079,共5页; 文摘基于SystemC的嵌入式系统描述 ,提出了一种全新的自动化验证方法 .该方法采用面向方面编程技术、分离和封装测试代码 ,结合自动化测试框架 ,完成对系统的自动化验证 .此验证方法对被测系统无扰动 ,能适应测试要求的灵活变化 ,对嵌入式系统模型可自动、重复地测试 ,能够满足系统级模型快速验证和评估的要求 .; 关键词嵌入式系统 systemc设计语言验证面向方面编程自动化; Keywords embedded systems systemc verification aspect-oriented programming automation; 分类号 TP316 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于SCV的MIPS指令集指令随机生成工具: 2; 作者尚利宏田冰; 机构北京航空航天大学计算机学院; 出处《计算机应用》 CSCD 北大核心 2007年第8期1991-1993,共3页; 文摘介绍了在SystemC的系统级建模与验证环境中,使用SCV实现用于M IPS指令集指令随机生成的工具。该随机指令生成工具包括静态生成与动态生成两种工作模式。并针对随机指令生成中会遇到的数据访问越界、分支/跳转地址越界等问题提出了解决办法。此外还研究了针对流水线冲突进行验证的方法。; 关键词随机指令生成验证 systemc scv MIPS; Keywords random instruction generation verification systemc systemc verification （scv） MIPS; 分类号 TP399 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于SCV的事务级验证建模被引量：1: 3; 作者方亮戎蒙恬刘文江毛军发; 机构上海交通大学信息安全工程学院; 出处《计算机工程》 CAS CSCD 北大核心 2007年第15期238-240,共3页; 基金国家自然科学基金委创新研究群体基金资助项目(60521002) 上海应用材料研究与发展基金资助项目(0501); 文摘结合SystemC验证库(SCV)的特点,提出了一种新的事务级验证模型,对其中部分主要模块进行了描述。该模型具有事务级交易记录、结果自检测以及随机测试等特性,通过该模型能够构建事务级验证平台。通过RAM实例,描述了验证平台的构建过程。; 关键词 systemc验证库 systemc 事务级验证; Keywords systemc verification library（SVC） systemc transaction-level verification; 分类号 TN47 [电子电信—微电子学与固体电子学]; 在线阅读下载PDF 职称材料

题名使用SystemC进行基于事务的验证被引量：3: 4; 作者牛振兴杜旭; 机构华中科技大学电子与信息工程系; 出处《计算机应用》 CSCD 北大核心 2006年第3期708-710,共3页; 文摘分析了使用SystemC的基于事务的验证方法。它应用于一个具体项目的开发,并与传统的验证方法作了对比,证明它在验证效率和验证环境设计效率上均有明显优势。; 关键词基于事务的验证方法 systemc语言验证环境; Keywords transaction-based verification methodology systemc, verification environment; 分类号 TP311.53 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名数字专用集成芯片前端验证方法研究被引量：3: 5; 作者罗琨赵磊尹建华杨怡伟王琳曹阳; 机构武汉大学电子信息学院清华大学电子系武汉大学软件工程国家重点实验室; 出处《计算机工程与应用》 CSCD 北大核心 2002年第17期37-39,58,共4页; 基金国家教育部博士点基金资助项目(编号:RFDP1999048602); 文摘在分析当前数字专用集成芯片前端验证问题的基础上,提出了一种基于SystemC软件建模的专用集成芯片RTL级验证方法,并应用到对网络调度处理芯片的具体验证实验中。实验数据表明:由于采用软件模型和软件控制技术,该方案在缩短验证周期、提高验证可靠性、精确判定验证决策点以及有效集成各类验证环境等方面均明显优于传统RTL验证方案。; 关键词数字专用集成芯片前端验证方法寄存器传输级 systemc模型专用集成电路; Keywords ASICs verification,Register Transfer Level,systemc model; 分类号 TN492 [电子电信—微电子学与固体电子学]; 在线阅读下载PDF 职称材料

题名动态系统描述语言的特性、设计和实现被引量：1: 6; 作者张幂柴志雷涂时亮; 机构复旦大学计算机科学技术学院嵌入式系统实验室江南大学信息工程学院; 出处《小型微型计算机系统》 CSCD 北大核心 2010年第5期825-829,共5页; 基金国家自然科学基金项目(60703106)资助; 文摘介绍一种新型的动态系统描述语言,PDSDL.它比SystemC更加高效和灵活.(1)PDSDL使用了Python面向对象动态语言,(2)PDSDL创新性地提出了动态系统的概念.系统的建模、验证和综合全都依赖于运行时动态系统特性,而非传统的存储在非易失记忆体(例如文件)的静态描述.因此设计者能使用程序和高级人工智能方式来进行更高效的结构探索.本文的重点在于探讨动态系统描述语言的特性和实现机理.文末给出简要试验结果.; 关键词 PDSDL PYTHON 动态系统描述语言 systemc 模拟验证综合; Keywords PDSDL pthon dynamic system description language systemc simulation verification synthesis; 分类号 TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名数字信号处理器的模型验证: 7; 作者王海荣梁利平; 机构清华大学微电子研究所中国科学院微电子研究所; 出处《电子测量技术》 2009年第5期111-115,共5页; 文摘本文主要描述了对一款数字信号处理器的模型基于仿真验证的验证方法,对数字信号处理器的SystemC模型和RTL级的模型进行了验证。着重分析了如何在验证过程中提高覆盖率,提高验证的完备性。针对该处理器的结构特点,采用多种方式产生验证程序来验证模型的正确性,包括编写手工编写验证程序,替换验证,组合验证,高级语言转汇编的验证和伪随机验证,并对数字信号处理器的代码覆盖率进行了统计。验证后该数字信号处理器的模型能够与参考模型保持一致。; 关键词验证数字信号处理器 systemc; Keywords verification DSP systemc; 分类号 TP36 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于SystemC描述的嵌入式系统的自动化验证	陈燕杜玄彭澄廉	《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心	2004	1	在线阅读下载PDF 职称材料
2	基于SCV的MIPS指令集指令随机生成工具	尚利宏田冰	《计算机应用》 CSCD 北大核心	2007	0	在线阅读下载PDF 职称材料
3	基于SCV的事务级验证建模	方亮戎蒙恬刘文江毛军发	《计算机工程》 CAS CSCD 北大核心	2007	1	在线阅读下载PDF 职称材料
4	使用SystemC进行基于事务的验证	牛振兴杜旭	《计算机应用》 CSCD 北大核心	2006	3	在线阅读下载PDF 职称材料
5	数字专用集成芯片前端验证方法研究	罗琨赵磊尹建华杨怡伟王琳曹阳	《计算机工程与应用》 CSCD 北大核心	2002	3	在线阅读下载PDF 职称材料
6	动态系统描述语言的特性、设计和实现	张幂柴志雷涂时亮	《小型微型计算机系统》 CSCD 北大核心	2010	1	在线阅读下载PDF 职称材料
7	数字信号处理器的模型验证	王海荣梁利平	《电子测量技术》	2009	0	在线阅读下载PDF 职称材料