分享到:

RTL综合系统设计中时序逻辑综合的实现方法

时序逻辑综合是 RTL综合系统设计中的一个重要部分。文章系统地论述了时序逻辑综合问题,在分析用户的 R  (本文共6页) 阅读全文>>

《大连海运学院学报》1983年01期
大连海运学院学报

状态图法在气动时序逻辑回路设计上的应用

船舶柴油机主机气动遥控系统的逻辑设计,通常包括组合逻辑和时序逻辑两部分.其中,气动时序逻辑回路的设计属于“时...  (本文共7页) 阅读全文>>

陕西师范大学
陕西师范大学

基于广义可能性时序逻辑的定量模型检测

经典的模型检测由于其自动化的特点被广泛用于系统的功能正确性和可靠性验证,其强调系统功能的绝对正确,是一种定性的验证方法.随着系统日益复杂,系统中不可避免地会出现一些不确定的信息,这就要求验证过程中不仅要考虑系统的功能需求,还要考虑系统满足该功能的可能性或精确度.为了有效的处理、刻画信息系统存在的不确定性,人们对这些不确定性信息进行定量分析,研究了定量的模型检测.广义可能性模型检测作为定量模型检测主要形式之一,在经典的时序逻辑上引入了可能性测度,不仅可以处理不满足测度可加性的模糊不确定现象,而且使时态性质可度量化,可以更加完整地验证系统的性质.广义可能性模型检测的研究目前处于发展阶段,还有很多工作亟待解决.本文首先利用经典模型的验证方法解决广义可能性模型检测问题,其结果丰富了广义可能性模型检测的研究方法,并有助于弥补其在模型检测工具方面的不足.其次,为了限制时序逻辑中不合理的属性发生,进而研究具有公平性约束的广义可能性时序逻辑.由...  (本文共126页) 本文目录 | 阅读全文>>

《现代计算机(专业版)》2014年02期
现代计算机(专业版)

行为时序逻辑与自反线性时序逻辑的关系

为了能够将哲学逻辑中的公理系统运用到行为时序逻辑的研究中,对行为时序逻辑公式的语义进行形式化定义,从语义和语法两方面研究行为时序逻辑公理系统和具有自反性质的线性时序逻辑公理系统之间的联系,提出并证明行...  (本文共5页) 阅读全文>>

《软件学报》2007年07期
软件学报

命题线性时序逻辑的对偶模型问题的复杂性(英文)

定义了一个命题线性时序逻辑的对偶模型的概念.一个公式f的对偶模型是指f的满足以下条件的两个模型(即状态的ω序列):在每个位置上这两个模型对原子命题的赋值都是对偶的.然后,对于确定一个公式f是否有对偶模型的判定问题(记为DM)和在一个Kripke-结构中确定是否存在从两个给定状态...  (本文共9页) 阅读全文>>

《微计算机信息》1970年10期
微计算机信息

复杂可编程逻辑器件CPLD的同步时序逻辑设计应用

本文介绍了利用同步时序逻辑的思想进行逻辑设计,以提高...  (本文共3页) 阅读全文>>