首页> 外文OA文献 >An analysis of atpg and sat algorithms for formal verification

【2h】

An analysis of atpg and sat algorithms for formal verification

机译：用于形式验证的atpg和sat算法分析

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
G. Parthasarathy; Chung-yang Huang; Kwang-ting Cheng;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A Formal Verification Model for Performance Analysis of Reinforcement Learning Algorithms Applied t o Dynamic Networks [J] . Shrirang Ambaji KULKARNI, Raghavendra G . RAO Journal of Applied Computer Science & Mathematics . 2017,第1期

机译：动态网络中强化学习算法性能分析的形式验证模型
2. An Approach for Solving SAT/MaxSAT-Encoded Formal Verification Problems on FPGA [J] . Kenji KANAZAWA, Tsutomu MARUYAMA IEICE transactions on information and systems . 2017,第8期

机译：在FPGA上解决SAT / MaxSAT编码形式验证问题的方法
3. Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL [J] . Filip Maric Theoretical computer science . 2010,第50期

机译：浅层嵌入Isabelle / HOL形式的现代SAT求解器的形式验证
4. An analysis of ATPG and SAT algorithms for formal verification [C] . Parthasarathy, G., Chung-Yang Huang, . 2001

机译：用于正式验证的ATPG和SAT算法分析
5. Boolean quantification techniques with applications in formal verification: Algorithms and analysis. [D] . Tang, Daijue. 2007

机译：布尔量化技术及其在形式验证中的应用：算法和分析。
6. A Formal Algorithm for Verifying the Validity of Clustering Results Based on Model Checking [O] . Shaobin Huang, Yuan Cheng, Dapeng Lang, -1

机译：一种基于模型检查的聚类结果有效性验证的形式化算法
7. A Formal Verification Model for Performance Analysis of Reinforcement Learning Algorithms Applied t o Dynamic Networks [O] . Shrirang Ambaji KULKARNI, Raghavendra G . RAO 2017

机译：动态网络强化学习算法性能分析的形式化验证模型

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号