分享到:

基于投影时序逻辑的片上系统形式化描述和验证

随着大规模集成电路技术和EDA技术的发展,片上系统(SoC)成为嵌入式系统的发展方向。片上系统带来了一些技术上的问题,对设计正确性的要求更加迫切。如何减少系统设计中的错误,提高系统设计的可靠性成为备受关注的问题。传统的设计方法由于系统规范缺少精确性,而验证也不能提供百分之百的覆盖,出错的可能性很大。为了解决这个问题,形式化方法被应用在软硬件设计中。所谓形式化方法,就是利用严格的数学方法,从给出系统设计的规范开始并逐步地推导或者验证系统的方法。投影时序逻辑PTL(projection temporal logic)是一种具有离散的时间模型的时序逻辑,可处理同时具有顺序和并行的复合计算,为复杂系统的设计提供了强大的规范和证明技术。程序设计语言Extended Tempura是PTL的一个可执行的子集,可用来开发系统的原型,对系统进行模拟。本文介绍了形式化方法及投影时序逻辑和其可执行子集的基本内容,讨论了PTL对SoC不同层次的描述方  (本文共71页) 本文目录 | 阅读全文>>

《淮北煤师院学报(自然科学版)》1988年02期
淮北煤师院学报(自然科学版)

时序逻辑网络设计的一种简便算法

本文导出了触发器的激励方程,从而给出了同步时序逻辑...  (本文共7页) 阅读全文>>

《华南理工大学学报(自然科学版)》1988年04期
华南理工大学学报(自然科学版)

再论气动逻辑设计的状态区间法

本文研究复杂气动系统的时序逻辑线路的设计理论与方法,这种复杂气动系统中不仅包含着干有两个行程阀的单往复或多往...  (本文共11页) 阅读全文>>

《计算机学报》1989年04期
计算机学报

脉冲型时序逻辑网络设计的解析方法

在文献[1]的基础上,我们给出了脉冲型时序逻辑网络(包括同步网络...  (本文共4页) 阅读全文>>

《淮北煤师院学报(自然科学版)》1989年01期
淮北煤师院学报(自然科学版)

时序逻辑网络计算机辅助分析的一种方法

本文给出时序逻辑网络分析的一个计算机算法,利...  (本文共5页) 阅读全文>>

《计算技术与自动化》1989年01期
计算技术与自动化

时序逻辑控制系统的形式变换

目前在智能控制的研究中存在着一系列重要问题。其中有:(1)如何将人工智能与控制理论结合起来?(2)怎样对智能控制系统进行分析、综合...  (本文共6页) 阅读全文>>