【摘 要】
：
提出了一种由体系结构描述驱动的基于约束求解的微处理器体系结构级测试程序自动生成的新方法,并基于此开发了原型系统--MA2TG(microprocessor architectural automatic test
论文部分内容阅读
提出了一种由体系结构描述驱动的基于约束求解的微处理器体系结构级测试程序自动生成的新方法,并基于此开发了原型系统--MA2TG(microprocessor architectural automatic test program generator).该系统不仅可以随机生成测试程序,最主要的是可以产生针对特定要求的测试程序.其优点在于:首先,通过体系结构语言描述简化了体系结构建模,方便了对目标处理器体系结构的探索;第二,利用比较成熟的约束求解技术来生成满足需求的测试程序;第三,极大地缩减了测试程序的大小以
其他文献
目的：探讨影响肺功能检测和开展的医患因素及对策.方法：对所有受试者按年龄、性别、文化程度分别进行统计,采用X2检验,对所有受试者进行汉密尔顿焦虑评分,将配合较好患者组与配
目的建立超高效液相色谱-串联质谱法(ultra performance liquid chromatography-tandem mass spectrometry,UPLC-MS/MS)测定动物源性食品(鸡肉、鸡肝、鸡蛋和牛奶)中金刚烷胺
经济的全球化对商务英语教学提出了更高要求：需要培养一大批既有扎实商务知识又精通各国文化习俗的专业人士。本文从具体分析各类文化的差异入手,讨论在商务英语教学中如何培
目的：对合并恶性肿瘤的类风湿关节炎患者74例的临床特征进行分析。方法：回顾总结首都医科大学附属北京世纪坛医院2011年1月至2017年6月住院治疗的1 562例类风湿关节炎患者,对其
视频监控技术随着互联网大数据时代的到来,已经慢慢地在全世界蔓延开来。该项技术可以服务很多领域,便利人们的生活和工作。行人检测技术是智能监控领域中的一项关键技术,可
患者,女,22岁,因“左大腿肿胀、疼痛、流脓进行性加重40余天”,于2018年4月9日入院。患者于入院40余天前因左大腿受伤后致肿胀、皮肤透亮,疼痛、活动受限,窦道形成,持续渗液,
围绕园林植物配置过程中出现的“植物高密栽植”这一热点问题进行了分析，阐述了植物高密栽植“热”产生的根源，并提出了解决措施和应对策略，为今后园林绿化工作提供参考。
马克思在《1844年经济学哲学手稿》中系统阐释了异化劳动理论的内涵,深刻批评了资本运作过程中引起的诸种异化现象,并且主张凭借消除私有财产权的方式克服各类异化现象。工人