【摘 要】
：
多核并行计算在提高系统计算能力和吞吐量的同时，对系统测试也提出了更加严格的要求，如何保障系统正确性已成为计算机领域的前沿课题之一。作为投影时序逻辑的一个可执行子集，MS
论文部分内容阅读
多核并行计算在提高系统计算能力和吞吐量的同时，对系统测试也提出了更加严格的要求，如何保障系统正确性已成为计算机领域的前沿课题之一。作为投影时序逻辑的一个可执行子集，MSVL能够对计算机软硬件系统进行建模、仿真和验证，保障系统的可靠性。但是，目前MSVL对多核并行系统的描述还不够简便。本文在MSVL解释器中实现了一种描述多核并行系统的抽象语义模型，使解释器能够更加方便地支持多核并行系统的仿真和建模。首先，介绍了投影时序逻辑和MSVL的语法和语义，并说明了MSVL解释器的实现原理和基本功能；接着，引入了基于投影时序逻辑的柱面计算模型，它可以对共享内存的多核并行系统进行描述和建模；然后，基于CCM的语法和操作语义，在MSVL解释器中增加了CCM相关的词法分析，语法分析以及进程状态化简等模块，实现了多核并行程序在MSVL解释器中的仿真与建模；最后，通过双偶数幻方和去除进位依赖的乘法器两个用例，说明引入CCM后，解释器对多核并行系统仿真、建模与验证的适用性及实用性。
其他文献
缺氧会头晕,没有氧气就活不了。这道理谁都懂,但原因没几个人能说清。今年,来自美国和英国的三名科学家为我们揭开了细胞与氧气“互动”现场的秘密,并因此获得2019年诺贝尔生
“课程思政”教育理念是一种新型的教育理念,融合了学科教学和思政教学之间的共同点,培养学生的学科专业能力和提高学生的思想政治水平。而在高校英语笔译教学中渗透课程思政
通过对全面质量管理概念的理解,结合风电零部件制造企业规划目标,分析对全面质量管理手段和精益工具方法在现场管理中的推动作用。
现阶段各类院校最根本的教学目标是为社会培养优质可用的高新人才。高职院校作为教育教学体系中的核心组成部分。完善高职院校的教学的管理工作,既能够提升教学质量,也能够增
为有效控制水稻直播田草害,研究20%双草醚悬浮剂的防除效果、适宜用量和应用安全性.本研究中防除对象为水稻直播田稗草、马唐、莎草、鸭跖草等1年生杂草,以10%双草醚悬浮剂为
【英国《每日邮报》网站6月11日报道】新研究表明,温暖的天气会使我们对其他人的态度变得明显冷漠。科学家发现,随着温度计水银柱的升高,人们变得不那么乐于交际,也不那么愿
通过分析与试验,讨论并验证了汽轮机喷嘴采取窄间隙焊接方式替代电子束焊接方式的可行性与可靠性,提出了一种新型的汽轮机喷嘴焊接结构,为汽轮机喷嘴焊接提供了一种新方法。
房地产建设成本较高,对于能够保证质量的前提下,减少其成本将给企业带来巨大利润。本文将通过讲述房地产企业比较特殊的供应链模式,探讨房地产企业成本控制的主要因素,以便能
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
通过对产品可靠性管理、可靠性管理体系以及可靠性管理机构组成的分析,明确可靠性管理需要完成的任务和职责,并建立产品可靠性工程体系,完善产品的质量控制,从而保证企业顺利