基于RTOS的软硬件协同验证方法

来源 :计算机工程 | 被引量 : 0次 | 上传用户:qq447105111
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
根据处理器芯片的特点,提出了一种基于RTOS的软硬件协同验证方法,该方法在RTOS的基础上建立了一个可移植的协同验证环境.在处理器芯片设计阶段,通过建立一个与芯片相近的硬件平台,在其上利用协同验证环境先验证软件设计的正确性,然后把这些正确的软件放入由处理器芯片构成的协同验证环境中验证设计的芯片.采用这种方法,不仅可以验证处理器芯片设计的正确性,减少错误存在的可能性,而且缩短了芯片验证的时间.
其他文献
去年的7月,本人应邀到某市给平安保险公司做一场健康科普讲座。正巧那天是内人的生日,自然没能在家陪她。触景生情,恍然意识到人一生中有很多值得纪念或记忆的日子,但人一生中无法错过的日子其实只有两个:一个是你来到这个世界的日子,也就是生日;还有一个是你离开这个世界的日子,我把它叫做“结日”。  生日是你自己根本无从掌控的,尽管今天有些准父母可以花钱选个好听好记的日子,让医生把你从娘肚子里直接请到世上来,
作为中国传统药物的中药,因其副作用小、疗效好等优势在现今社会仍被广泛应用,但由于有些中药仍含有一些毒性成分,所以用药导致的中毒事件时有发生.中成药益肾蠲痹丸的主要中
春节前,一位好友请我帮他和夫人安排一次年度例行体检。为了考察我推荐的体检机构的服务流程和质量,我索性陪他们一起参加了体检。因为过去几年一直每年体检,而且各项指标从未有过“明显异常”。加之此次更多了些“实地考察”的成分,心态自然是相当地放松,甚至多少有点儿走过场的感觉。  体检结果出来,随手翻开主检报告,第一行赫然写着:肝中强回声待查,建议CT进一步检查!我又翻到封面,确认这份体检报告就是我本人的。
目的:研究社区中老年人艾灸足三里、涌泉穴预防中风病的效果,探索适应社区情况的特色中医适宜技术治未病的发展之路.方法:选择本社区2012-01/2013-12400例符合条件的中风高危自愿
周日,通过无线电波和江苏徐州的听众朋友又做了一次愉快的交流。令我倍感欣喜和自豪的是,两年多的时间里,那些原本普普通通的居家百姓,不仅个个都成了我们健康科普教育活动的受益者,最难能可贵的,他们中不少人还能讲出一整套科学健康观念和生活方式原理,俨然就是一位够格的健康科普讲师。听他们讲健康,讲生活,讲体会,讲效果,让我得出一个结论:健康其实是可以学到的。  年过花甲的李大伯身体一直比较弱,按他自己的话说
飞行器外型设计遗传优化算法网格计算系统是基于网格技术的.该系统由一组网格服务所构成.遗传算法中的流场计算模块(CFD)在该系统中是以服务的方式提供并可运行在各种计算机
当我们还沉浸在奥运会、残奥会的一幕幕美好回忆的时候,大脑却遭到突如其来的“三鹿”奶粉事件的强烈冲击。我们甚至无法接受这“完美”与“残缺”间如此剧烈的急转弯。成千上万不满周岁的婴儿无辜受害,小小肾脏就长出了难以置信的结石。全国各地的年轻父母满怀忐忑,带着他们的孩子到医院接受政府提供的免费检查。一只原本美丽的“三鹿”看似被一种莫名奇妙的“三聚氰胺”绊了一个大跟头,能不能重新站起来还很难说。  混沌中想
11月14日是今年医改新方案向公众征求意见的截止日。据互联网报道:中国青年报社会调查中心联合新浪网进行的一项题为“你怎么看待新医改方案”的调查显示,1/4的被调查者反映“看不太懂”,40.8%的人表示对医改新方案实施效果不乐观,更多的网友则是抱怨向公众征求意见的一个月时限太短。   藉着多年在政府机关从事政策研究的功底,笔者把《关于深化医药卫生体制改革的意见(征求意见稿)》研读了三遍。实话实说,全
摘要:自从实行九年义务教育之后,七到九年级的老师,特别是语文老师,对初一新生的语文水平感到头疼,究其原因,可以概括为:识字差、文字书写不规范、简单的应用文都不会写等等。在我们少数民族地区,这种现象就更突出了。本人就教学过程中如何提高学生的写作水平与大家交流交流。  关键词:教学 学生 写作     上了几年的语文课,在没普九之前,由于小学升初中的学生都是经过选拔上来的,所以可以说大多数同学的
目的:探讨慢性乙肝患者血清HBVcccDNA与谷草转氨酶(AST)、丙氨酸氨基转移酶(ALT)、总胆红素(TBIL)、乙型肝炎E抗原(HBeAg)以及乙肝病毒脱氧核糖核酸(HBV-DNA)等现有血清学指标的相关性.方