期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
一种基于变量隐藏抽象的IC3硬件验证算法
1
作者 杨柳 范洪宇 +1 位作者 李东方 贺飞 《计算机科学》 CSCD 北大核心 2023年第S02期783-788,共6页
随着硬件设计复杂性和规模的大幅度提升,硬件验证工作更加具有挑战性。模型检验技术作为一种自动化验证技术,可以自动构建反例路径,也因此成为硬件验证领域内最重要的研究方向之一。IC3算法是近些年来最成功的比特级别的硬件验证算法。... 随着硬件设计复杂性和规模的大幅度提升,硬件验证工作更加具有挑战性。模型检验技术作为一种自动化验证技术,可以自动构建反例路径,也因此成为硬件验证领域内最重要的研究方向之一。IC3算法是近些年来最成功的比特级别的硬件验证算法。为了提高验证的规模和效率,硬件验证算法设计逐渐从底层的比特级向更高的抽象级别转变。研究目标是设计一个新型有效的字级IC3算法。针对研究目标,提出了一种将变量隐藏抽象和隐式抽象结合的字级IC3算法IC3VA。该方法尝试将变量隐藏抽象和IC3算法相结合,并设计了对应的泛化和精化方案。在开源社区和硬件验证大赛收集的测试集上和基于谓词抽象的方法进行对比,实验结果显示了基于变量隐藏抽象的IC3算法的有效性。 展开更多
关键词 硬件验证 IC3算法 形式化方法 模型检验 变量隐藏抽象
下载PDF
多维MANET可靠性建模研究 被引量:3
2
作者 赵志峰 赵曦滨 陈丹宁 《计算机科学》 CSCD 北大核心 2011年第5期60-63,92,共5页
移动自组织网络(MANET,Mobile Ad hoc Network)是一种不依赖固定基础设施且不需要中心控制的动态无线网络。由于其开放自治的无线网络环境及无中心、动态拓扑等特性,导致MANET无法保障通讯的持续性,同时容易受到各种安全攻击。因此相对... 移动自组织网络(MANET,Mobile Ad hoc Network)是一种不依赖固定基础设施且不需要中心控制的动态无线网络。由于其开放自治的无线网络环境及无中心、动态拓扑等特性,导致MANET无法保障通讯的持续性,同时容易受到各种安全攻击。因此相对于传统网络,MANET在网络的可靠性上存在很大的局限性。综合考虑了影响MANET可靠性的两大因素,即节点移动性和安全攻击,提出了多维MANET可靠性模型,并对模型结果进行了实验分析,进一步指出了影响MANET系统可靠性的关键参数。 展开更多
关键词 MANET 可靠性模型 移动模型 安全模型
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部