多处理器系统的结构验证方法

来源 :网络与信息 | 被引量 : 0次 | 上传用户:shaw1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着近年来多处理器的出现,使得处理器的验证变得越来越重要,同时也给验证工作带来了极大的困难和挑战。越来越多的时间和精力要花在处理器的验证工作上。这篇文章将介绍一种在弱一致性多处理器系统中内存一致性的验证方法——数据染色。
其他文献
<正> “六五”期间,随着经济体制改革和各项工作的发展和深入,徐州市的档案工作在各级党委和政府的领导下,经过恢复和整顿,有了迅速的发展,在社会主义“两个文明”建设中发挥
<正> 一、现代筑坝技术的发展现代筑坝技术是从1950年左右开始发展的,十九世纪后半叶在法、英、西班牙等西欧各国得到发展并传播到美洲和澳洲。进入二十
本文介绍自制的冲刷腐蚀实验装置,该装置能对高速转动的试样进行不同温度下的电化学测试及冲刷与腐蚀交互作用的研究。利用该装置对管线钢X60和不锈钢AISI321的电化学测试结
<正>&#39;白熊牌&#39;薄荷油商标所有权归主南通市薄荷油厂一直是我国薄荷油出口的主要厂家。但&#39;白熊牌&#39;商标的使用权问题存在争执,一直未能解决。去年,该厂因与省外
本文通过联合使用共振柱仪和动三轴仪,对黑孜水库粘性土的动剪模量和阻尼特性进行了试验研究,进而对扰动粘性土的动力变形特性及其若干影响因素,诸如固结应力比K_C、动剪应变
<正>亲爱的读者,当您读完这一组文章,一定会发现其中绝大多数出自基县档案工作者之手。文章大都不长,短者千字,最长的也只有四千字,但都很实在,管用。为基层服务,是我们办刊
黄铜在大气中表面容易变暗、发黑、甚至产生铜绿。许多民用和军工产品一直采用铬酸或铬酸盐进行表面钝化处理,改善产品外观及其抗腐蚀性能。但是这种工艺三氧化铬。铬酸盐或重
利用X-衍射、扫描电镜和全波长扫描技术对在长辛店、成都2、玉门2和敦煌4个试验站,埋藏了近30年的铅电缆土壤腐蚀产物进行了分析,结果表明,在土壤中铅电缆土壤腐蚀有两种形态
<正> 江苏省乡镇企业局、江苏省档案局于九月十七日至十九日在太仓县联合召开了全省乡镇企业档案工作现场经验交流会。参加会议的有省和各市乡镇
<正> 一、前言 众所周知,金属腐蚀产物相当复杂,对其中氯离子的监测是很重要的一项指标。通常测定水溶液中氯离子,有银量法、硝酸汞滴定法、直接电位法、电位滴定法以及离子