| 标题 |
 SAT-Based Fault Equivalence Checking in Functional Safety Verification 相关领域
网络列表
计算机科学
形式等价性检查
功能验证
还原（数学）
故障注入
形式验证
加速
等价（形式语言）
算法
布尔可满足性问题
可靠性工程
计算机工程
并行计算
嵌入式系统
数学
软件
工程类
程序设计语言
离散数学
几何学
|
| 网址 | |
| DOI | |
| 其它 |
期刊：IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 作者：A. Dao; M. Lin; A. Mishchenko 出版日期：2018-01-09 |
| 求助人 | |
| 下载 | 求助已完成，仅限求助人或该文件上传人下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
(2025-6-4)
null
酸味yjm
渡人舟
吃葡萄不吐葡萄皮
忧心的曼凝
Nole
GingerF
Gp1983
学霸业
小王
风清扬
俊逸的映易
Firsterchao
MchemG
xiaolizi
无极微光
Criminology34
369ninja
luli
华无剑
皖公网安备34019202002308
