【摘 要】
:
首先介绍了TURBO51嵌入式微处理器的基于分支预测和动态执行结构设计与设计背景及目前验证的发展状况,即形式验证、模拟仿真和硬件加速仿真,然后介绍了TURBO51设计验证所采用
论文部分内容阅读
首先介绍了TURBO51嵌入式微处理器的基于分支预测和动态执行结构设计与设计背景及目前验证的发展状况,即形式验证、模拟仿真和硬件加速仿真,然后介绍了TURBO51设计验证所采用的步骤和每个阶段的任务及通过准则,即首先同步定义文档功能时序设计及验证策略,再进行RTL仿真并达到覆盖率和代码检查并给出覆盖率结果,然后进行FPGA验证,最后进行门级仿真。给出了错误的累计过程,显示TURBO51的设计验证中错误收敛快,在RTL仿真前已排除大部分严重错误,FPGA验证前已排除全部严重错误和99%的其它错误,确保了TU
其他文献
历史教科书习题,是历史教科书的重要组成部分,它能够帮助学生掌握历史基础知识与基本技能,在解题的过程中培养学生历史思维方法、历史学习方法,锻炼学生解决历史与现实问题的
本文主要概述小学语文教学中读写能力培养的有效方法,希望能在深化课堂教学方法的同时,让教学有效性获得稳步提升。
大学生心理健康是素质教育的核心要素,目前我国大学生的心理健康水平堪忧,当前全球经济不景气,失业率不断增高,大学生就业越来越困难,心理存受压力越来越大,大学生心理健康越
<正>民生建设是贯彻落实科学发展观的核心内容。关注民生、改善民生,既是理政之根本,也是和谐之先务。大庆市始终坚持把促进就业工作、完善社保体系放在优先位置,因地制宜精
语言能力是指语言的运用能力,指在特定的意境利用语言以及听,说等其他方式对语言的理解与表达能力,而听说课是目前为止,能够提升学生英语语言能力发展的高效方法之一,本文将
由于海面自身的条件及随机多变的特性,目标雷达散射回波会受到不同程度的影响。分别研究了不同海情、蒸发波导以及两种情况共同制约的状态下,舰船目标雷达散射回波情况,并进行了
目的:探讨SASH1在卵巢癌中的表达和意义。方法:选取妇产科手术收集的79例卵巢癌组织和癌旁组织。通过实时定量PCR(qRT-PCR)和蛋白免疫印迹法(Westernblot)检测SASHlmRNA和SASHl蛋白
随着时代的发展,很多新兴的教育模式加入到中学语文的写作教学课堂中,以此推动着中学语文写作教学的发展,情境教学便是教学模式之一,作为新兴的教学模式,本文阐述了初中语文
为了克服传统人工目测劳动强度大、误检率高、漏检率高以及现有疵点检测方法检测精度低的问题,提出一种基于正交小波分解的织物疵点检测方法,以提取的特征值相对误差大小代替归一化相对特征值作为判断疵点是否存在的标准。实验结果表明,此种方法比传统方法检测精度高。
应用加权聚类算法对本校图书馆的图书借阅数据进行数据挖掘,分析研究读者的借阅行为,通过分析聚类挖掘结果,寻找到读者借阅图书的潜在规律,并对各类图书的借阅状况进行判断,获得对图书馆管理有用的信息,提高图书馆管理工作效率和资源利用率,进一步优化馆藏。