社区
下载资源悬赏专区
帖子详情
利用投影时序逻辑的多内核进程调度建模与验证.pdf下载
weixin_39820835
2021-09-25 11:24:59
利用投影时序逻辑的多内核进程调度建模与验证.pdf , 相关下载链接:
https://download.csdn.net/download/jiebing2020/24456188?utm_source=bbsseo
...全文
3
回复
打赏
收藏
利用投影时序逻辑的多内核进程调度建模与验证.pdf下载
利用投影时序逻辑的多内核进程调度建模与验证.pdf , 相关下载链接:https://download.csdn.net/download/jiebing2020/24456188?utm_source=bbsseo
复制链接
扫一扫
分享
转发到动态
举报
写回复
配置赞助广告
回复
切换为时间正序
请发表友善的回复…
发表回复
打赏红包
相关推荐
利用
投影
时序逻辑
的多
内核
进程调度
建模
与
验证
.
pdf
利用
投影
时序逻辑
的多
内核
进程调度
建模
与
验证
.
pdf
利用
投影
时序逻辑
的多
内核
进程调度
建模
与
验证
利用
投影
时序逻辑
的多
内核
进程调度
建模
与
验证
利用
投影
时序逻辑
的多
内核
进程调度
建模
与
验证
(2010年)
针对软件测试无法满足多
内核
处理器上
进程调度
的
验证
需要这一问题,提出
利用
投影
时序逻辑
(PTL)的定理证明方法来
验证
进程调度
。使用PTL公式建立了支持当前主流
进程调度
算法的多
内核
处理器
进程调度
一般模型S,并将系统期望的性质描述为PTL公式P,在PTL公理系统的基础上,通过证明S蕴含P是否为一个定理来
验证
系统是否具备该性质。以2
内核
处理器上的多级反馈队列算法的正确性为案例进行检验,结果表明所提方法可
验证
多
内核
处理器
进程调度
的系统性质,保证多
内核
进程调度
的可靠性。由于多
内核
处理器的
进程调度
具备了并发系统的主要特点
投影
时序逻辑
在系统
建模
中的应用 (2010年)
目的 为了解决形式化
验证
时需要分别使用不同工具进行系统
建模
和性质描述的问题。方法
利用
投影
时序逻辑
PTL(projection temporal logic)在同一逻辑框架内完成待
验证
系统的
建模
和性质的描述。结果 对PTL
投影
操作符的特点和用途进行了详细分析,并结合实例展示了PTL系统
建模
的使用。结论 PTL具备强大的表达能力,可广泛的应用于各类软硬件系统的
验证
。
Verilog程序的命题
投影
时序逻辑
符号模型检测 (2014年)
为了保证以Verilog硬件描述语言设计的片上系统的正确性,提出了Verilog程序的符号模型检测方法.依据形式化操作语义将Verilog程序
建模
为有限状态机,将设计规范用命题
投影
时序逻辑
公式描述,并采用命题
投影
时序逻辑
符号模型检测工具对程序进行
验证
,从而证明片上系统满足设计规范.以Verilog 程序描述的四位同步二进制计数系统的
验证
实例表明,Verilog程序的命题
投影
时序逻辑
符号模型检测方法是可行的.
下载资源悬赏专区
12,082
社区成员
11,315,010
社区内容
发帖
与我相关
我的任务
下载资源悬赏专区
CSDN 下载资源悬赏专区
复制链接
扫一扫
分享
社区描述
CSDN 下载资源悬赏专区
其他
技术论坛(原bbs)
社区管理员
加入社区
获取链接或二维码
近7日
近30日
至今
加载中
查看更多榜单
社区公告
暂无公告