中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共5条，第1-5条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Functional Verification for Agile Processor Development: A Case for Workflow Integration 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2023, 卷号: 38, 期号: 4, 页码: 737-753
作者:  Xu, Yi-Nan;  Yu, Zi-Hao;  Wang, Kai-Fan;  Wang, Hua-Qiang;  Lin, Jia-Wei;  Jin, Yue;  Zhang, Lin-Juan;  Zhang, Zi-Fei;  Tang, Dan;  Wang, Sa;  Shi, Kan;  Sun, Ning-Hui;  Bao, Yun-Gang
收藏  |  浏览/下载：2/0  |  提交时间：2024/05/20
functional verification  agile development  open-source hardware  workflow integration  
Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2023, 卷号: 38, 期号: 2, 页码: 405-421
作者:  Zhang, Ying;  Ji, Peng-Fei;  Zhu, Pan-Wei;  Peng, Zebo;  Li, Hua-Wei;  Jiang, Jian-Hui
收藏  |  浏览/下载：7/0  |  提交时间：2023/12/04
software-based self-testing (SBST)  parallel test  kilo-core networks-on-chip (NoCs)  online testing  
VFSim: Concurrent fault simulation at register transfer level 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 卷号: 20, 期号: 2, 页码: 175-186
作者:  Shen, L
收藏  |  浏览/下载：39/0  |  提交时间：2019/12/16
high-level testing  Verilog  RTL  circuit modeling  fault model  concurrent fault simulation  
Fault-tolerant systems with concurrent error-locating capability 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003, 卷号: 18, 期号: 2, 页码: 190-200
作者:  Jiang, JH;  Min, YH;  Peng, CL
收藏  |  浏览/下载：69/0  |  提交时间：2019/12/16
fault-tolerant system  concurrent error location  concurrent error correction  dual-module redundancy  robust fault-masking  
Timing-sequence testing of parallel programs 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2000, 卷号: 15, 期号: 1, 页码: 84-95
作者:  Liang, Y;  Li, S;  Zhang, H;  Han, CD
收藏  |  浏览/下载：67/0  |  提交时间：2019/12/16
timing-sequence testing  SYN-sequence  atomic SYN-event  linearization  coverage