基于交织模式的逻辑门电路的半模格语义研究

发布时间：2021-06-27 20:26

　　在过去的二十年中,异步电路由于与同步电路相比具有无时钟偏差,易于集成,可靠性强等优势,在微处理器,低功耗电路等领域表现出相当的潜力。然而,异步电路的固有并发性也使得它们难以验证。由于组件和线延迟的变化,电路执行路径的数量可能非常大。因此,必须确保所有可能执行路径中电路行为的正确性。本文采用基于状态的模型检测方法,根据电路中的状态转换关系,提出了交织模式下积累状态向量的偏序关系模型,该模型能够详细地描述异步电路中状态的变化,通过向量的相关运算结果反映电路中状态变化的特点。半模性是异步电路设计中的一个重要属性,它与无危害电路密切相关。本文在基于交织模式的积累状态模型基础上,对电路的半模性进行检验。在积累状态偏序集对应的Hasse图上,详细讨论了逻辑门电路的半模格语义。鉴于电路的状态会随复杂度指数增长,本文提出了自动生成Hasse图和检验半模性的算法。最后,以异步电路基本单元C单元为例,对其进行了自动化验证,检验了算法的有效性。 

【文章来源】：广西民族大学广西壮族自治区

【文章页数】：45 页

【学位级别】：硕士

【文章目录】：
摘要
abstract
1 绪论
    1.1 研究背景
    1.2 研究现状
    1.3 本文主要研究内容
    1.4 本文主要研究结构
2 半模格与并发模型
    2.1 偏序关系与半模格
    2.2 有限状态机
    2.3 并发模式
3 基于交织模式和Hasse图的电路模型理论
    3.1 电路的Hasse图模型
    3.2 基于Hasse图的形式化分析方法
    3.3 本章小结
4 基于Hasse图的半模性验证方法
    4.1 Hasse图的坐标表示
    4.2 自动生成Hasse图的算法
    4.3 基于Hasse图的半模性检验理论
    4.4 实例:C单元的半模性检验
    4.5 本章小结
5 总结与展望
    5.1 总结
    5.2 展望
参考文献
附录
致谢
攻读学位期间发表的学术论文目录


【参考文献】：
期刊论文
[1]基于动作细化的握手扩展[J]. 杨昕梅,孙秀莉,李绍荣.  电子科技大学学报. 2011(03)
[2]非模的上半模格的一个特征[J]. 周子亮.  河北大学学报(自然科学版). 1993(02)

博士论文
[1]异步电路设计方法学研究[D]. 徐阳扬.西安电子科技大学 2009

硕士论文
[1]半模格相关性质的进一步研究[D]. 马辉.中央民族大学 2015



本文编号：3253550