排序方式: 共有3条查询结果,搜索用时 15 毫秒
1
1.
基于时态逻辑的硬件设计形式化验证技术——模型检验 总被引:3,自引:0,他引:3
通过对时态逻辑的研究来探讨时态逻辑在硬件设计形式化验证上的应用,同时对布尔函数在计算机内的表示二叉判定图(BDD)进行了进一步地分析,最后给出了一个时态逻辑对硬件设计进行验证的例子。 相似文献
2.
基于时态逻辑的硬件设计形式化验证技术--模型检验1 总被引:1,自引:0,他引:1
通过对时态逻辑的研究来探讨时态逻辑在硬件设计形式化验证上的应用,同时对布尔函数在计算机内的表示二叉判定图(BDD)进行了进一步地分析,最后给出了一个时态逻辑对硬件设计进行验证的例子. 相似文献
3.
通过参证流域西坑水文站实测资料率定MIKE11NAM模型参数,移用至杨楼溪设计流域,模拟逐日径流过程。模拟径流成果合理、精度可靠,可作为水库兴利调节计算的依据。 相似文献
1