【摘 要】
：
为提高核电厂数字化仪控系统中HPD(HDL-Programmed Device)验证工作的效率和有效性,从而帮助提高仪控系统可靠性,引入形式化验证方法。形式化验证方法与传统的基于功能仿真的
论文部分内容阅读
为提高核电厂数字化仪控系统中HPD(HDL-Programmed Device)验证工作的效率和有效性,从而帮助提高仪控系统可靠性,引入形式化验证方法。形式化验证方法与传统的基于功能仿真的验证方法相比可以更有效地发现系统设计中的错误,更充分地验证系统设计,更方便地对验证流程进行管理。目前基于断言的形式化验证方法已经在大规模ASIC设计,以及数字通信领域HPD设计的功能验证中取得了成功,本文将这一方法引入核安全级系统HPD验证实践中,主要介绍HPD形式化验证的特点、原理和方法,以及其在FirmSys系统安全
其他文献
现阶段,我国煤矿瓦斯抽采存在诸多问题,例如:瓦斯抽采装备和技术滞后、煤矿瓦斯抽采难度系数大、技术创新和基础理论研究不足、煤矿瓦斯利用率不高等。东李煤矿是煤与瓦斯突
目的探讨图谱法康复锻炼对膝关节周围骨折术后疼痛、肿胀及膝关节功能恢复的影响。方法选取2016年10月至2017年12月我院收治的86例择期膝关节周围骨折手术患者为研究对象,随
以山西褐土区离石、忻州、太原、寿阳、临猗等地玉米、小麦农田为主要研究对象,选取5个代表性样点12个剖面采集0~600cm深度土壤样品,研究分析不同季节土壤垂直剖面水分状况。
本文阐述了网络互连技术中的常用设备的种类,功能和特点,并简单介绍了应用这些设备的相关知识.
随着国民经济结构的进一步优化组合,中等职业教育如何更好的促进经济薄弱地区的强劲发展,成为当前许多国民共同关注的话题?本文从借鉴世界发达国家和我国经济快速发展地区的
汽包修复时筒体产生过大的塑性变形将严重影响其安全运行与使用寿命。结合某火电机组汽包管接头更换修复工程，设置10组变形监测点，对修复时汽包变形的大小、方向进行了全过程监
2015年7月23日,日本经济新闻社以8.44亿英镑的高价将世界传媒巨头培生集团旗下经营了60年之久的著名财经媒体《金融时报》收归麾下,这一数额是日经2014年净利润的16倍。而拥
为了增强爆炸零门在应用中的稳定性,降低对沟槽装药装填工艺的要求,以间隙零门为研究对象,提出了以导爆索代替部分沟槽装药结构的方法。对具有不同尺寸参数的导爆索、沟槽装
根据矿区生态环境的特点,以世界经合组织(OCED)提出的"压力-状态-响应"(P-S-R)框架理论为指导,构建了既适合遥感监测技术定量评估又能较好表征矿区生态安全信息的评价指标体
律体定型是唐代文学中最为重要的事件之一。沈期、宋之问历来被认为是律诗的最终完成者,但近年来四杰、文章四友等人在其中的作用也备受关注。从对其诗作在篇制、用韵等方面