中国科学院机构知识库网格系统: 检索

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

帮助

条数/页：排序方式：
	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 \| 收藏 \| 浏览/下载：13/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 \| 收藏 \| 浏览/下载：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)
	Online Heat Load Test and Analysis for the Whole 5-K GA Feeder System 期刊论文 OAI收割 IEEE TRANSACTIONS ON APPLIED SUPERCONDUCTIVITY, 2019, 卷号: 29, 期号: 2, 页码: 4 作者: Du, Qingqing; Ding, Kaizhong; Lu, Kun; Liu, Chenglian; Wang, Jun \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2020/05/21 Heat load GA feeder 68 W online test
	Development of NPP digital I&C system closed-loop online test system based Chock for on signal transmission array 期刊论文 OAI收割 PROGRESS IN NUCLEAR ENERGY, 2018, 卷号: 108, 期号: 无, 页码: 270-280 作者: Yang, Minghan; Wang, Jianye; Chen, Shuai; Chen, Size; Zhang, Junjun \| 收藏 \| 浏览/下载：29/0 \| 提交时间：2019/12/10 Nuclear power plant Digital I&C system Closed-loop online test system Full-scope simulator Signal transmission array
	Online and offline test method of total dose radiation damage on static random access memory 期刊论文 OAI收割 ACTA PHYSICA SINICA, 2014, 卷号: 63, 期号: 8 作者: Cong, Zhong-Chao; Yu, Xue-Feng; Cui, Jiang-Wei; Zheng, Qi-Wen; Guo, Qi 收藏 \| 浏览/下载：26/0 \| 提交时间：2014/11/11 online-test offline-test static random access memory functional test