【摘 要】
：
该文分为两部分,第一部分提出针对特定系统对Seamless CVE的改进意见.第二部分提出将形式化验证方法--model checking应用于软、硬件协同验证.该文第一部分通过对seamless CV
论文部分内容阅读
该文分为两部分,第一部分提出针对特定系统对Seamless CVE的改进意见.第二部分提出将形式化验证方法--model checking应用于软、硬件协同验证.该文第一部分通过对seamless CVE技术进行分析,针对特定系统或特定的软、硬件协同验证要求,提出用C/C++代替HDL对硬件进行功能性描述,把软件放在这类"虚拟硬件"上进行;将大部分的软件执行过程放在主机上模拟,只把和硬件相关的指令放到"虚拟硬件"中运行;只把与特殊要求相关的部分指令放到"虚拟硬件"上精确模拟,其余大量工作由主机完成.从而有效地节约了验证所需的时间和存储空间.并针对中断新问题,提出了具体的改进方案.该文第二部分中提出在软、硬件协同验证中使用model checking技术,并对其可行性和有效性进行了分析.
其他文献
染色体重排在群体分化与物种形成过程中扮演了何种角色，是物种形成领域研究热点之一。染色体重组抑制假说认为，染色体重排（倒位、易位、融合和分裂等）将抑制有性生殖过程中同源染
森林同时承受着多种干扰,包括自然干扰和人类干扰,各种干扰之间存在着一定的交互作用和影响,同时这种交互作用在大的时空尺度上又影响着森林生态系统的物种组成、年龄结构和
本文分析计算机应用基础课程教学中学生厌学和教师墨守成规、中职计算机专业技能大赛训练与日常课堂教学冲突等问题,提出在计算机应用基础课程中运用“赛·练·教”融合的教
卫星遥感成像过程中，大气、光学系统以及传感器等多种因素综合作用，导致图像退化严重，解析度降低，进而影响卫星遥感图像的使用。本文以提升遥感图像质量为目的，建立了遥感图像退化模型，从噪声去除和图像复原两方面入手，设计了有效的提升遥感图像质量的重建算法。首先，针对影响遥感图像最为严重的条带噪声展开深入分析，设计了改进的矩匹配法，对遥感图像中宽条带的非均匀性进行校正，再利用基于单向变分模型优化算法对条带噪
射频功率放大器作为无线发射机射频前端最关键的模块,其研究一直以来都是射频/微波通信领域的焦点。纵观射频功放的发展历程,射频功放的研究主要围绕如何提高其各方面的性能
该文系统地分析了敏感膜功函数变化及引起功函数变化的机理,臭氧在敏感膜表面的单层及多层吸附模型,并在实验中制作了多种栅结构(片状悬浮栅以及白金网状悬浮栅),采用多敏感
本文以2018年广西中等职业学校教师职业技能大赛“中华茶艺”项目比赛一等奖获奖作品《“品两香花茶·韵续百年梅瓶·情”》茶席设计为例,分析茶席设计的内涵及意义,讲解“品
该文的主要工作包括以下几点:1.根据有线网络的空间分布特性及网络连接特性,设计了用于仿真有线网络路由的仿真平台;2.根据无线网络的空间分布特性及网络连接特性,设计了用于
本文为了改进传统自动增益控制（AGC）不能兼顾高调节精度与大的调节范围，提出了一种适用于无线通信系统的新颖的AGC。该AGC系统对通用的AGC进行了改造，使其在兼顾较高调节精度与高