【摘 要】
：
针对SOC验证的需要,研究了形式化验证方法,重点分析了二元决策图(BDD)的等效性检查技术,设计了FSM等效性检查的程序,以及算法级描述控制流程到BDD转换方法;研究了利用计算树
论文部分内容阅读
针对SOC验证的需要,研究了形式化验证方法,重点分析了二元决策图(BDD)的等效性检查技术,设计了FSM等效性检查的程序,以及算法级描述控制流程到BDD转换方法;研究了利用计算树逻辑进行的模型检查技术,给出了CTL模型检查的处理流程;提出了形式化仿真的模型以及测试向量生成算法.
In order to meet the needs of SOC verification, the formal verification method is studied. The equivalence checking technique of binary decision diagram (BDD) is emphatically analyzed. The program of FSM equivalence checking is designed, and the control flow from algorithm description stage to BDD is designed The model check technique using computational tree logic is studied. The processing flow of CTL model check is given. The formal simulation model and the test vector generation algorithm are proposed.
其他文献
目的观察二羰基化合物对人血管内皮细胞(VEC)核因子(NF)κB的激活作用,以探讨该类物质病理生物学作用的机制.方法从人脐静脉分离VEC并与不同浓度的二羰基化合物共同培养.以氧化敏感的荧光染料2,7-二氢二氯荧光素(DCFH)染色,用流式细胞仪测定细胞内氧化水平;用间接免疫荧光法观察NF-κDp65在细胞内的分布,判断NF-κB的活化.结果二羰基化合物能够导致细胞内氧化水平升高,并激活人VECNF
自现代主义兴起至今已有一个多世纪,从波普艺术、观念艺术盛行至今也已有半个世纪。百年历史,波澜壮阔,标新立异,成果累累。其间,艺术品之所以成为艺术品,也愈益依赖于“错构
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
看潘公凯先生的水墨画,有一种扑面而来的强烈的现代感。他的画继承了传统文人画的笔墨和意境,又努力探求水墨画的现代之路。公凯的画,脱去了传统文人画常具有的小趣味,而具有
【摘 要】在计算机和网络技术日益发展的今天，传统的动物学教学模式越发不能满足教学需要，多媒体技术的运用明显了提高教学效果。本文从几个方面探讨了充分利用多媒体技术提高动物学教学质量和水平。 【关键词】多媒体技术 动物学 教学效果 多媒体技术是利用计算机对文本、图形、图像、声音、动画、视频等多种信息综合处理、建立逻辑关系和人机交互作用的技术。多媒体技术在动物学课堂教学中的运用，使动物学教学课堂更加
将可进化硬件动态进化分为两类,并针对基于任务切换的动态进化进行研究.提出一个进化与学习的混合策略,将改进的CGP(Cartesian Genetic Programming)算法与局部学习结合,用于
【摘 要】在计算机课程的教学改革中，一体化教学是非常重要的一环。文章分析了实施一体化教学改革的几个要素，并探讨实施一体化教学要注意的问题。 【关键词】技工院校 计算机课程 一体化教学 当前，原有教育模式下的计算机专业毕业生越来越不符合社会的需求。技工院校根据实际需要，将“一体化教学”应用到学习生活中，正确指导理论知识的运用，使之与实践活动紧密联系，重视技能操作，引导学生积极投入到课堂教学中来，
本课题试图提出中国现代美术合法性理论困境的解决思路,把“正名”作为20世纪中国美术研究必须面对的根本性问题,以“人类未来巨变”为基本视野,以一切从事实出发为基本态度,