HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0
首页 论文大全 形式验证论文 列表
期刊分类
期刊收录
出版地区
基于软硬件协同形式验证的固件漏洞分析技术第59-68页
关键词: 固件安全  tla  形式验证  漏洞分析  软硬件协同  
Soter:使用“运行保证”编程安全机器人系统第100-104页
关键词: 机器人系统  安全性  soter  运行  编程  形式验证  加州大学  研究人员  
2018年第05期 《机器人产业》
终结黑客攻击的操作系统问世第51-51页
关键词: 黑客攻击  计算机科学家  网络攻击  弱连接  多线程  信息物理系统  形式验证  验证法  并发性  modular  
2016年第12期 《中国教育网络》
核电厂仪控系统中FPGA的形式验证方法及V&V技术第84-85页
关键词: 现场可编程门阵列  形式验证  system  verilog断言  
2017年第10期 《工业控制计算机》
关于汉语虚词研究的几点新思考第1-6页
关键词: 主导地位  广义虚词  定位框架  形式验证  范畴虚词  
2019年第01期 《华文教学与研究》
通用CPU设计验证中的等价性检验方法第230-235页
关键词: 形式验证  模拟  等价性检验  比较点匹配  
极小布尔不可满足子式的提取算法第1542-1546页
关键词: 形式验证  布尔可满足问题  极小布尔不可满足子式  
结合无依赖性割集和量化的等价性验证第2215-2219页
关键词: 二叉决策图  形式验证  割集  量化  
形式化方法概貌第33-61页
关键词: 形式化方法  形式规约  形式验证  程序设计方法学  软件开发  
2019年第01期 《软件学报》
基于PWA模型的安全诊断方法在CSTR系统中的应用第292-297页
关键词: 分段仿射模型  安全诊断  形式验证  连续搅拌反应釜  
2018年第01期 《系统仿真学报》
新思科技凭借突破性机器学习技术将形式属性验证性能提高10倍第82-82页
关键词: 机器学习算法  形式验证  性能验证  学习技术  科技  属性  突破性  回归模式  
适用于PAD控制逻辑电路验证的一种高效的形式验证方法第17-22页
关键词: 形式验证  soc  pcl  jasper  
2019年第05期 《中国集成电路》
静态形式验证在跨时钟域和复位验证中的应用第38-43页
关键词: 亚稳态  跨时钟域验证  形式验证  复位检查  
2019年第04期 《中国集成电路》
新思科技凭借突破性机器学习技术将形式属性验证性能提高10倍第36-36页
关键词: 机器学习算法  形式验证  性能验证  学习技术  科技  突破性  属性  人工智能  
2018年第10期 《中国集成电路》
新思科技凭借突破性机器学习技术将形式属性验证性能提高10倍第8-8页
关键词: 机器学习算法  形式验证  性能验证  学习技术  属性  科技  突破性  回归模式  
2018年第18期 《电子制作》
基于形式验证的毛刺检测技术第3290-3295页
关键词: 毛刺  形式验证  故障注入  等价电路  故障传播  
基于CDFG和OVL的系统验证性质分类第48-50页
关键词: 模拟  形式验证  性质  模型检测  数据控制流图  
2005年第10期 《计算机工程》
基于断言的功能验证技术第51-56页
关键词: 验证技术  设计行为  形式验证  覆盖率  rtl  
2005年第10期 《中国集成电路》
SRAM的设计验证第16-21页
关键词: sram  文件  应用程序  仿真结果  设计验证  测试  形式验证  功能验证  电路仿真  synopsys公司  
2004年第11期 《中国集成电路》
SOC设计验证讲述第48-52页
关键词: soc  正确性验证  形式验证  静态验证  模拟技术  
2004年第05期 《中国集成电路》