论文部分内容阅读
量化时态逻辑是在一阶逻辑的基础上，加上量化时态逻辑算子构成。支持离散和连续的时间结构，能精确表达数字电路中的时间信息并能对时间进行推理。该文提出量化时态逻辑的基本框架并用它描述和验证数字电路。
量化时态逻辑与数字电路的描述和验证<'+>
【摘 要】
：
量化时态逻辑是在一阶逻辑的基础上，加上量化时态逻辑算子构成。支持离散和连续的时间结构，能精确表达数字电路中的时间信息并能对时间进行推理。该文提出量化时态逻辑的基本框
【机 构】
：
邮电学院计算机系
【出 处】
：
第七届全国数字系统设计自动化学术会议暨协同设计研讨会
【发表日期】
：
1997年期
其他文献
伦敦烟雾事件rn众所周知,伦敦曾有“雾都”之名,冬天多半都是浓雾天气,而浓雾的产生与工业革命有很大关系.煤炭是工业革命的核心原料,每天的煤炭燃烧会释放出大量烟尘,当它们
期刊
由于半导体制造工艺的进步，ＩＣ设计的规模越来越大，越来越复杂，对传统的模拟验证提出了严峻的挑战。形式验证采用数学方法来验证设计的正确性，具有模拟验证所不具有的优点。该文介绍
计算机系统的发展要求使用数学方法对其可靠性进行定义和验证。形式化方法作为一种实用的数学方法，在计算机系统的可靠性研究中得到了广泛的应用。该文论述了形式化方法在当前
该文试图用并发进程描述时序电路，用时态逻辑公式来刻画它的某些特性，借助ＳＴｅＰ演绎证明系统，证明了该电路具有时态逻辑公式所描术的特性，同时也说明了这一方法的可行性。