【摘 要】
:
设计验证在数字电路设计中扮演着重要的作用,功能正确性检验是设计验证最基本的内容,用于判别设计规范和设计实现之间是否一致。在过去的二十几年中,人们对于数字电路顺序行为的
论文部分内容阅读
设计验证在数字电路设计中扮演着重要的作用,功能正确性检验是设计验证最基本的内容,用于判别设计规范和设计实现之间是否一致。在过去的二十几年中,人们对于数字电路顺序行为的验证进行了深入的研究并提出了许多行之有效的验证方法,例如,模拟的方法和形式化的方法等。然而数字电路是典型的并发系统,对其并发行为的验证却由于复杂度的限制而至今没有提出任何直接的和有效的验证方法,如何实现并发行为的有效验证就成为保证数字电路功能正确性的关键因素。本文在并发行为验证方面进行了探讨。首先介绍了STE验证方法的基本理论和技术,对其优点和不足进行了详细的分析;其次对STE验证规范作了图形化的扩展,提出了断言图的概念并给出了基于断言图的验证算法;进而引入进程代数语言对并发系统进行刻画,建立了相应的并发模型,给出了语言到模型的转化以及验证并发行为的流程;最后,探讨了动作细化在规范语言层次化描述中的作用。
其他文献
1专业技术队伍职业发展通道建设必要性分析1.1经营管理与完成型号任务的需要近年来,航天系统一直面临高强密度发射任务与多项新型号研制并举的紧迫环境,从目前形势分析,这种
近年来,由群体智能行为而引发的智能群体协作现象吸引了不同邻域的研究者的关注。把群体和网络研究相结合是现今主流的研究方法,本文中我们把由多个智能个体组成的智能群体抽
电子器件的内部噪声(特别是以1/f噪声为代表的低频噪声),是制约器件灵敏度和检测精度的一个关键指标,同时也是表征器件质量和可靠性的一个重要敏感参数。因此,噪声作为电子器件可
基于计算机辅助设计和微米级加工技术制成的二元或多元光学元器件具有高衍射效率、独特的色散性能、特殊的光学功能等优点,因此二元或多元光学元器件已广泛用于数据存储、光通
由于我国目前上市公司股票实施核准制,企业将消耗大量的时间和精力进行首次公开募股(IPO),所以很多企业另辟蹊径,选择了审批程序简单的借壳上市,本文以A物流公司借壳上市为例
以乙二胺和丙烯酸甲酯为原料,采用逐代分步合成法合成2.0G树枝状底物,再通过环氧氯丙烷与羟值为60mgKOH/g的环氧乙烷环氧丙烷嵌段聚醚进行扩链,制备一种新型多支化原油破乳剂。对
我国稠油资源非常丰富,而边底水稠油油藏又在稠油油藏中占有很大比例。在热采开发过程中,这类油藏容易受边底水入侵和锥进的影响,进而导致区块整体含水上升迅速,区块正常生产
随着社会的发展,中国人口老龄化的增长速度越来越快,人口老龄化现象的加剧使得老年人的健康成为全社会关注的焦点。“人老腿先老”,行走时是否能较好地维持身体的稳定就成为
随着集成电路设计及制造的发展,对芯片设计及制造的要求越来越高,主要体现在对降低功耗,减小面积以及设计重用性等要求上。总线桥用于实现不同总线体系的跨越,解决不同总线协
目的研究妊娠合并急性胰腺炎的发病相关因素、临床特征及对母儿的影响。方法收集我院2005年1月到2011年1月收治的31例妊娠合并急性胰腺炎患者的临床资料作为研究组(A组),并以