×
验证码:
换一张
忘记密码?
记住我
×
登录
中文版
|
English
中国科学院计算技术研究所机构知识库
Institute of Computing Technology, Chinese Academy IR
登录
注册
ALL
ORCID
题名
作者
学科领域
关键词
文献类型
出处
收录类别
出版者
发表日期
存缴日期
资助项目
学科门类
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
新闻&公告
在结果中检索
研究单元&专题
中国科学院计算技术研... [9]
作者
李晓维 [2]
Chao, Hui-... [1]
Chen, YJ [1]
Hou Lishan [1]
Huang, J [1]
Jin Zhi [1]
更多...
文献类型
期刊论文 [9]
发表日期
2020 [1]
2016 [1]
2008 [1]
2007 [1]
2006 [1]
2005 [4]
更多...
语种
英语 [6]
中文 [3]
出处
计算机辅助设计与图形... [3]
JOURNAL OF... [2]
EMBEDDED S... [1]
IEEE TRANS... [1]
Journal of... [1]
SCIENCE IN... [1]
更多...
资助项目
National N... [2]
National B... [1]
National N... [1]
National N... [1]
National N... [1]
National N... [1]
更多...
收录类别
SCI [5]
其他 [4]
资助机构
×
知识图谱
CSpace
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共9条,第1-9条
帮助
限定条件
文献类型:期刊论文
专题:中国科学院计算技术研究所期刊论文
第一作者的第一单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
期刊影响因子升序
期刊影响因子降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
作者升序
作者降序
WOS被引频次升序
WOS被引频次降序
题名升序
题名降序
Evaluating and Constraining Hardware Assertions with Absent Scenarios
期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2020, 卷号: 35, 期号: 5, 页码: 1198-1216
作者:
Chao, Hui-Na
;
Li, Hua-Wei
;
Song, Xiaoyu
;
Wang, Tian-Cheng
;
Li, Xiao-Wei
收藏
  |  
浏览/下载:32/0
  |  
提交时间:2021/12/01
hardware formal verification
assertion generation
data mining
assertion evaluation
assertion coverage
Abstraction-Guided Simulation Using Markov Analysis for Functional Verification
期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2016, 卷号: 35, 期号: 2, 页码: 285-297
作者:
Wang, Jian
;
Li, Huawei
;
Lv, Tao
;
Wang, Tiancheng
;
Li, Xiaowei
;
Kundu, Sandip
收藏
  |  
浏览/下载:41/0
  |  
提交时间:2019/12/13
Abstraction-guided simulation
Markov analysis
semi-formal verification
无权访问的条目
期刊论文
作者:
Jian Yu(喻 坚)
;
Yan-Bo Han(韩燕波)
;
Jun Han4(韩 军)
;
Yan Jin(金 岩)
;
Paolo Falcarin
;
Maurizio Morisio
Adobe PDF(1867Kb)
  |  
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2010/11/02
无权访问的条目
期刊论文
作者:
刘领一
;
赵阳
;
吕涛
;
李华伟
;
李晓维
Adobe PDF(271Kb)
  |  
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2010/11/22
Modeling and verifying Web services driven by requirements: An ontology-based approach
期刊论文
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 6, 页码: 792-820
作者:
Hou Lishan
;
Jin Zhi
;
Wu Budan
收藏
  |  
浏览/下载:39/0
  |  
提交时间:2019/12/16
web service
environment ontology
automatic composition
pi calculus
formal verification
无权访问的条目
期刊论文
作者:
岳华伟
;
徐勇军
;
张志敏
;
易波
Adobe PDF(553Kb)
  |  
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2010/11/23
无权访问的条目
期刊论文
作者:
李光辉
;
邵明
;
李晓维
Adobe PDF(524Kb)
  |  
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2010/11/23
EmGen: An automatic test-program generation tool for embedded IP cores.
期刊论文
EMBEDDED SOFTWARE AND SYSTEMS, 2005, 卷号: 3605, 页码: 528-535
作者:
Shen, HH
;
Chen, YJ
;
Huang, J
收藏
  |  
浏览/下载:43/0
  |  
提交时间:2019/12/16
Formal verification techniques based on Boolean satisfiability problem
期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 卷号: 20, 期号: 1, 页码: 38-47
作者:
Li, XW
;
Li, GH
;
Shao, M
收藏
  |  
浏览/下载:39/0
  |  
提交时间:2019/12/16
equivalence checking
incremental satisfiability
minimal unsatisfiable formula
model checking