中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
计算技术研究所 [2]
采集方式
OAI收割 [2]
内容类型
期刊论文 [2]
发表日期
2023 [1]
2020 [1]
学科主题
筛选
浏览/检索结果:
共2条,第1-2条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
提交时间升序
提交时间降序
发表日期升序
发表日期降序
题名升序
题名降序
作者升序
作者降序
Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip
期刊论文
OAI收割
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2023, 卷号: 38, 期号: 2, 页码: 405-421
作者:
Zhang, Ying
;
Ji, Peng-Fei
;
Zhu, Pan-Wei
;
Peng, Zebo
;
Li, Hua-Wei
  |  
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
software-based self-testing (SBST)
parallel test
kilo-core networks-on-chip (NoCs)
online testing
Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors
期刊论文
OAI收割
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2020, 卷号: 39, 期号: 3, 页码: 714-727
作者:
Zhang, Ying
;
Chakrabarty, Krishnendu
;
Peng, Zebo
;
Rezine, Ahmed
;
Li, Huawei
  |  
收藏
  |  
浏览/下载:31/0
  |  
提交时间:2020/12/10
Circuit faults
Built-in self-test
Out of order
Model checking
Integrated circuit modeling
Bounded model checking (BMC)
online testing
out-of-order superscalar processors
software-based self-testing (SBST)