检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

实时嵌入式系统协调设计的行为验证模型

计算机辅助设计与图形学学报 2004年第1期16卷 105-108,115页

作者：王世好严迎建刘明业北京理工大学ASIC研究所北京100081

嵌入式系统协调设计中 ,通常采用协同验证方法检验系统设计的正确性 ,目前比较常用的验证手段有行为验证和基于处理器结构的指令集模拟指令集模拟从底层时序关系模拟CPU功能 ,通过建立与硬件模拟器连结关系来验证软硬件接口指令集模... 详细信息

嵌入式系统协调设计中 ,通常采用协同验证方法检验系统设计的正确性 ,目前比较常用的验证手段有行为验证和基于处理器结构的指令集模拟指令集模拟从底层时序关系模拟CPU功能 ,通过建立与硬件模拟器连结关系来验证软硬件接口指令集模拟的主要特点是模拟精度高 ,但模拟速度慢 ,对于不同的CPU结构需要构造不同的指令集模拟器文中研究一种基于RTOS实时嵌入式系统行为验证模型 ,通过扩展RTOS功能 ,建立RTOS软件模拟器 ,实现RTOS模拟器和VHDL/VerilogHDL协同模拟交互 RTOS模拟器把嵌入式软件功能代码、CPU接口代码以及定制硬件驱动代码分开 ,实现嵌入式软件设计与硬件平台的弱相关。

关键词：实时嵌入式系统协调设计行为验证指令集模拟

在线全文

学校读者我要写书评

暂无评论

嵌入式系统软硬件协同验证中软件验证方法

计算机研究与发展 2005年第3期42卷 514-519页

作者：王世好王歆民刘明业北京计算机技术及应用研究所北京100854 北京理工大学ASIC研究所北京100081

随着集成电路及计算机技术的发展,嵌入式系统设计变得越来越复杂.复杂的嵌入式系统设计,通常采用验证的手段检验系统设计的正确性,硬件验证通常是在硬件设计描述的基础上建立用于模拟硬件功能的硬件模拟器;软件验证常用的方法是建立处... 详细信息

随着集成电路及计算机技术的发展,嵌入式系统设计变得越来越复杂.复杂的嵌入式系统设计,通常采用验证的手段检验系统设计的正确性,硬件验证通常是在硬件设计描述的基础上建立用于模拟硬件功能的硬件模拟器;软件验证常用的方法是建立处理器功能模型(指令集模拟器ISS),逐条解释嵌入式软件在目标机器上的执行过程,产生模拟输出,驱动外围电路(即硬件设计).指令集模拟器从底层时序关系模拟嵌入式软件在目标CPU上运行过程.对于复杂嵌入式系统设计,ISS模拟速度通常成为协同模拟瓶颈.基于RTOS的嵌入式软件快速验证方法可以有效地提高软件模拟速度,扩展RTOS功能,适应协同模拟需要,建立硬件模拟驱动,实现软件和硬件模拟器通信连接和协同模拟同步控制.基于RTOS的嵌入式软件验证方法以编译代码模型为基础,从系统行为级验证嵌入式软件功能,验证速度快.在实际应用中。该方法和ISS验证相结合,能够实现更有效、更快速的嵌入式系统协同验证.最后以几个典型硬件设计为基础,编写相应的控制软件,进行软硬件协同验证实验,实验结果数据说明该验证方法实用、有效、快速.

关键词：嵌入式系统协调设计协同验证模拟 RTOS

嵌入式系统软件模拟及硬件接口设计的快速验证

在线全文

学校读者我要写书评

暂无评论

电子与信息学报 2004年第10期26卷 1675-1680页

作者：王世好段志刚刘明业北京计算机技术及应用研究所北京100854 华中科技大学自控系系统工程研究所武汉430074 北京理工大学ASIC研究所北京100081

该文提出了一种面向宿主机器代码编译的嵌入式软件功能验证方法,该方法从系统行为级验证系统功能,通过建立RTOS软件模拟器,实现嵌入式软件功能及硬件接口设计的快速验证,并以椭圆滤波器为例,阐述如何使用该方法验证嵌入式系统软件和硬... 详细信息

该文提出了一种面向宿主机器代码编译的嵌入式软件功能验证方法,该方法从系统行为级验证系统功能,通过建立RTOS软件模拟器,实现嵌入式软件功能及硬件接口设计的快速验证,并以椭圆滤波器为例,阐述如何使用该方法验证嵌入式系统软件和硬件接口功能。

关键词：嵌入式系统协同模拟功能验证模拟器实时操作系统

嵌入式系统软硬件协同模拟验证环境设计与实现

在线全文

学校读者我要写书评

暂无评论

计算机工程 2004年第9期30卷 45-47页

作者：严迎建王世好刘明业北京理工大学ASIC研究所军信息工程大学电子技术学院郑州450004

介绍了一个嵌入式系统软硬件协同模拟验证环境，该环境以指令集模拟器和事件驱动硬件模拟器为基本框架，并由总线调度模型和总线界面模型提供软硬件模拟交互界面。重点讨论该环境中软硬件模拟器之间的接口设计与实现方法，最后给出一个... 详细信息

介绍了一个嵌入式系统软硬件协同模拟验证环境，该环境以指令集模拟器和事件驱动硬件模拟器为基本框架，并由总线调度模型和总线界面模型提供软硬件模拟交互界面。重点讨论该环境中软硬件模拟器之间的接口设计与实现方法，最后给出一个嵌入式系统协同验证的应用实例。

关键词：嵌入式系统协同验证软硬件协同模拟指令集模拟器

在线全文

学校读者我要写书评

暂无评论

嵌入式协调设计中的系统级验证方法及应用

计算机工程与设计 2006年第14期27卷 2698-2701页

作者：范彧王世好中央民族大学数学与计算机学院北京100081 北京计算机技术及应用研究所北京100854

协同验证是在嵌入式系统协调设计过程中用以检验系统功能是否正确的有效手段。由于精确指令集模拟器模拟的细节多、速度慢,通常成为复杂嵌入式系统协同验证的瓶颈,因此提出使用RTOS软件模拟器和指令集模拟器相结合的多层次验证方法,提... 详细信息

协同验证是在嵌入式系统协调设计过程中用以检验系统功能是否正确的有效手段。由于精确指令集模拟器模拟的细节多、速度慢,通常成为复杂嵌入式系统协同验证的瓶颈,因此提出使用RTOS软件模拟器和指令集模拟器相结合的多层次验证方法,提高了复杂嵌入式系统的验证速度,并通过某图像压缩系统的验证实例,说明该验证方法的有效性。

关键词：嵌入式系统协同模拟模拟器实时操作系统指令集模拟器系统级验证

在线全文

学校读者我要写书评

暂无评论

论我国缺陷产品召回法律制度的完善

河南公安高等专科学校学报 2008年第3期17卷 100-102页

作者：王世好同济大学法政学院中国上海200433

2007年8月27日,国家质量监督检验检疫总局公布了《食品召回管理规定》和《儿童玩具召回管理规定》,使缺陷产品召回成为人们关注的热点。缺陷产品召回成本与召回法律制度有着密切的联系。从召回成本的角度来分析现有的法律,为我国召回法... 详细信息

2007年8月27日,国家质量监督检验检疫总局公布了《食品召回管理规定》和《儿童玩具召回管理规定》,使缺陷产品召回成为人们关注的热点。缺陷产品召回成本与召回法律制度有着密切的联系。从召回成本的角度来分析现有的法律,为我国召回法律制度的完善提供了一种新思路。

关键词：缺陷产品缺陷产品召回成本召回法律制度

嵌入式系统软硬件协调设计环境构造与实现方法

在线全文

学校读者我要写书评

暂无评论

计算机工程与应用 2002年第16期38卷 223-225页

作者：王世好严迎建吴清平北京理工大学ASIC研究所北京100081

文章研究嵌入式系统协调设计方法,重点讨论一个完整的嵌入式系统协调设计环境———BitCoDesign构造,把嵌入式系统设计分解为系统功能描述和划分阶段、软硬件设计阶段、协同模拟阶段和软硬件综合阶段。具体阐述各设计阶段功能的实现方法... 详细信息

文章研究嵌入式系统协调设计方法,重点讨论一个完整的嵌入式系统协调设计环境———BitCoDesign构造,把嵌入式系统设计分解为系统功能描述和划分阶段、软硬件设计阶段、协同模拟阶段和软硬件综合阶段。具体阐述各设计阶段功能的实现方法,使嵌入式系统在设计初期,通过协同模拟手段验证系统的设计正确性,避免设计反复,降低开发成本。

关键词：嵌入式系统协调设计指令集模拟器软件硬件大规模集成电路

在线全文

学校读者我要写书评

暂无评论

实时操作系统综述

电脑知识与技术 2011年第6X期7卷 4491-4492,4494页

作者：张俊霖王世好六安职业技术学院信息工程系安徽六安237158 北京理工大学ASIC研究所北京100081

目前,以计算机技术、芯片技术和计算机软件技术为核心的数字化技术取得了迅猛发展,现代控制技术、多媒体技术的应用与普及,促使消费电子、计算机、通信一体化趋势步伐加快,嵌入式技术再度成为研究热点。

关键词：嵌入式系统实时操作系统 RTOS

在线全文

学校读者我要写书评

暂无评论

嵌入式系统协调设计与协同模拟技术

电脑知识与技术 2010年第4X期6卷 2991-2993页

作者：张俊霖王世好六安职业技术学院信息工程系安徽六安237158 北京理工大学ASIC研究所北京100081

随着微电子和计算机技术的发展,嵌入式系统的功能和结构日益复杂,传统的设计方法已经无法满足嵌入式产品快速发展需要。作为系统设计新方法,协调设计(Co-Design)已经成为嵌入式系统设计方法热点研究之一。协调设计就是在系统设计之初通... 详细信息

随着微电子和计算机技术的发展,嵌入式系统的功能和结构日益复杂,传统的设计方法已经无法满足嵌入式产品快速发展需要。作为系统设计新方法,协调设计(Co-Design)已经成为嵌入式系统设计方法热点研究之一。协调设计就是在系统设计之初通过划分手段把整个系统划分为适合软件和硬件实现两部分,使系统设计并行进行。软硬件设计完成后利用协同模拟手段验证系统设计正确性,验证通过后,系统设计进入进行软硬件综合和系统集成测试阶段。该文研究嵌入式系统协调设计环境和软硬件系统模拟方法,通过构造软件和硬件模拟器,在系统设计初期实现嵌入式系统的软硬件功能及软硬件接口设计的快速验证,达到优化系统设计、降低系统开发成本、缩短设计周期的目的。

关键词：嵌入式系统协调设计协同模拟模拟器,RTOS