中文版 | English

在结果中检索

CSpace

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

限定条件    
已选(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  
Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors 期刊论文
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;  Eles, Petru;  Jiang, Jianhui
收藏  |  浏览/下载：50/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)  
SVFD: A Versatile Online Fault Detection Scheme via Checking of Stability Violation 期刊论文
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2011, 卷号: 19, 期号: 9, 页码: 1627-1640
作者:  Yan, Guihai;  Han, Yinhe;  Li, Xiaowei
收藏  |  浏览/下载：67/0  |  提交时间：2019/12/16
Aging  delay fault  online fault detection  soft error  stability violation  
Dependence-based Multi-level Tracing and Replay for Wireless Sensor Networks Debugging 期刊论文
ACM SIGPLAN NOTICES, 2011, 卷号: 46, 期号: 5, 页码: 91-100
作者:  Wang, Man;  Li, Zhiyuan;  Li, Feng;  Feng, Xiaobing;  Bagchi, Saurabh;  Lu, Yung-Hsiang
收藏  |  浏览/下载：62/0  |  提交时间：2019/12/16
Algorithms  Reliability  Wireless sensor network  program debugging  invariants  dependence analysis  resource constrains  
无权访问的条目 期刊论文
作者:  Ying Zhang(张颖);  Hua-Wei Li(李华伟);  Xiao-Wei Li(李晓维)
Adobe PDF(578Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/11/02
无权访问的条目 期刊论文
作者:  Jian Yu(喻 坚);  Yan-Bo Han(韩燕波);  Jun Han4(韩 军);  Yan Jin(金 岩);  Paolo Falcarin;  Maurizio Morisio
Adobe PDF(1867Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/11/02
无权访问的条目 期刊论文
作者:  Hua-Ming Liao (廖华明);  Guo-Shun Pei (裴国顺)
Adobe PDF(1082Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/11/02
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
收藏  |  浏览/下载：38/0  |  提交时间：2019/12/16
equivalence checking  incremental satisfiability  minimal unsatisfiable formula  model checking  
Resource space model, its design method and applications 期刊论文
JOURNAL OF SYSTEMS AND SOFTWARE, 2004, 卷号: 72, 期号: 1, 页码: 71-81
作者:  Zhuge, H
收藏  |  浏览/下载：274/0  |  提交时间：2019/12/16
data model  design method  next-generation web  resource space model  semantic web  web