HI,欢迎来到
学术之家
,发表咨询:400-888-7501 订阅咨询:400-888-7502
股权代码 102064
登录/注册
经营许可
杂志订阅
支付方式
首页
期刊
杂志
SCI
发表
出版社
0
首页
论文大全
形式验证论文
列表
期刊分类
不限
教育
医学
经济
金融
管理
科技
工业
机械
农业
电力
水利
文学
艺术
文化
建筑
图书
档案
交通
体育
环境
政法
煤矿
地质
化工
社会
科学
化学
生物
新闻
历史
航空
理论
电子
政治
石油
计算机
期刊收录
不限
CSSCI 南大期刊
北大期刊
CSCD中国科学引文数据库
统计源期刊
知网收录
维普收录
万方收录
EI工程索引
CA化学文摘
SA科学文摘
SCI科学引文索引
JST 日本科学技术振兴机构数据库(日)
Pж(AJ) 文摘杂志(俄)
哥白尼索引(波兰)
剑桥科学文摘
国际药学文摘
国家图书馆馆藏
上海图书馆馆藏
文摘与引文数据库
文摘杂志
医学文摘
数学文摘
ASPT来源刊
农业与生物科学研究中心文摘
物理学、电技术、计算机及控制信息数据库
出版地区
不限
北京
上海
天津
江苏
浙江
河北
山西
重庆
四川
辽宁
吉林
安徽
福建
江西
山东
河南
湖北
湖南
广东
广西
海南
贵州
云南
西藏
陕西
甘肃
青海
宁夏
新疆
内蒙古
黑龙江
基于软硬件协同
形式验证
的固件漏洞分析技术
第59-68页
关键词: 固件安全 tla 形式验证 漏洞分析 软硬件协同
2016年第07期
《网络与信息安全学报》
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页
关键词: 形式验证 模拟 等价性检验 比较点匹配
2005年第02期
《计算机辅助设计与图形学学报》
极小布尔不可满足子式的提取算法
第1542-1546页
关键词: 形式验证 布尔可满足问题 极小布尔不可满足子式
2004年第11期
《计算机辅助设计与图形学学报》
结合无依赖性割集和量化的等价性验证
第2215-2219页
关键词: 二叉决策图 形式验证 割集 量化
2005年第10期
《计算机辅助设计与图形学学报》
形式化方法概貌
第33-61页
关键词: 形式化方法 形式规约 形式验证 程序设计方法学 软件开发
2019年第01期
《软件学报》
基于PWA模型的安全诊断方法在CSTR系统中的应用
第292-297页
关键词: 分段仿射模型 安全诊断 形式验证 连续搅拌反应釜
2018年第01期
《系统仿真学报》
新思科技凭借突破性机器学习技术将形式属性验证性能提高10倍
第82-82页
关键词: 机器学习算法 形式验证 性能验证 学习技术 科技 属性 突破性 回归模式
2018年第10期
《单片机与嵌入式系统应用》
适用于PAD控制逻辑电路验证的一种高效的
形式验证
方法
第17-22页
关键词: 形式验证 soc pcl jasper
2019年第05期
《中国集成电路》
静态
形式验证
在跨时钟域和复位验证中的应用
第38-43页
关键词: 亚稳态 跨时钟域验证 形式验证 复位检查
2019年第04期
《中国集成电路》
新思科技凭借突破性机器学习技术将形式属性验证性能提高10倍
第36-36页
关键词: 机器学习算法 形式验证 性能验证 学习技术 科技 突破性 属性 人工智能
2018年第10期
《中国集成电路》
新思科技凭借突破性机器学习技术将形式属性验证性能提高10倍
第8-8页
关键词: 机器学习算法 形式验证 性能验证 学习技术 属性 科技 突破性 回归模式
2018年第18期
《电子制作》
基于
形式验证
的毛刺检测技术
第3290-3295页
关键词: 毛刺 形式验证 故障注入 等价电路 故障传播
2018年第10期
《计算机工程与设计》
基于CDFG和OVL的系统验证性质分类
第48-50页
关键词: 模拟 形式验证 性质 模型检测 数据控制流图
2005年第10期
《计算机工程》
基于断言的功能验证技术
第51-56页
关键词: 验证技术 设计行为 形式验证 覆盖率 rtl
2005年第10期
《中国集成电路》
SRAM的设计验证
第16-21页
关键词: sram 文件 应用程序 仿真结果 设计验证 测试 形式验证 功能验证 电路仿真 synopsys公司
2004年第11期
《中国集成电路》
SOC设计验证讲述
第48-52页
关键词: soc 正确性验证 形式验证 静态验证 模拟技术
2004年第05期
《中国集成电路》
期刊导航
基础科学
工程科技I
工程科技II
农业科技
医药卫生科技
信息科技
哲学与人文科学
社会科学I
社会科学II
经济与管理科学