CSpace

浏览/检索结果: 共9条,第1-9条 帮助

限定条件        
已选(0)清除 条数/页:   排序方式:
MNSIM 2.0: A Behavior-Level Modeling Tool for Processing-In-Memory Architectures 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2023, 卷号: 42, 期号: 11, 页码: 4112-4125
作者:  Zhu, Zhenhua;  Sun, Hanbo;  Xie, Tongxin;  Zhu, Yu;  Dai, Guohao;  Xia, Lixue;  Niu, Dimin;  Chen, Xiaoming;  Hu, Xiaobo Sharon;  Cao, Yu;  Xie, Yuan;  Yang, Huazhong;  Wang, Yu
收藏  |  浏览/下载:2/0  |  提交时间:2024/05/20
Computational modeling  Computer architecture  Integrated circuit modeling  Scheduling  Hardware  Memristors  Convolutional neural networks  Hardware modeling tool  processing-in-memory (PIM)  software-hardware co-optimization  
Statistical Modeling of Soft Error Influence on Neural Networks 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2023, 卷号: 42, 期号: 11, 页码: 4152-4163
作者:  Huang, Haitong;  Xue, Xinghua;  Liu, Cheng;  Wang, Ying;  Luo, Tao;  Cheng, Long;  Li, Huawei;  Li, Xiaowei
收藏  |  浏览/下载:2/0  |  提交时间:2024/05/20
Fault analysis  fault simulation  neural network (NN) reliability  statistical fault modeling  
Asymptotically Optimal Circuit Depth for Quantum State Preparation and General Unitary Synthesis 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2023, 卷号: 42, 期号: 10, 页码: 3301-3314
作者:  Sun, Xiaoming;  Tian, Guojing;  Yang, Shuai;  Yuan, Pei;  Zhang, Shengyu
收藏  |  浏览/下载:7/0  |  提交时间:2023/12/04
Circuit depth  depth-space tradeoff  quantum circuit  state preparation  unitary synthesis  
Swarm Intelligence-Based Task Scheduling for Enhancing Security for IoT Devices 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2023, 卷号: 42, 期号: 6, 页码: 1756-1769
作者:  Zhou, Junlong;  Shen, Yufan;  Li, Liying;  Zhuo, Cheng;  Chen, Mingsong
收藏  |  浏览/下载:7/0  |  提交时间:2023/12/04
Security  Internet of Things  Task analysis  Logic gates  Servers  Particle swarm optimization  Optimization  Energy efficiency  fund  Index Terms  Internet of Things (IoT)  mixed-integer linear programming (MILP)  security  swarm intelligence  task scheduling  
Re-FeMAT: A Reconfigurable Multifunctional FeFET-Based Memory Architecture 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2022, 卷号: 41, 期号: 11, 页码: 5071-5084
作者:  Zhang, Xiaoyu;  Liu, Rui;  Song, Tao;  Yang, Yuxin;  Han, Yinhe;  Chen, Xiaoming
收藏  |  浏览/下载:13/0  |  提交时间:2023/07/12
Convolutional neural network (CNN)  ferroelectric field-effect transistor (FeFET)  few-shot learning  in-memory processing  ternary content-addressable memory (TCAM)  
GPGPU-Based ATPG System: Myth or Reality? 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2020, 卷号: 39, 期号: 1, 页码: 239-247
作者:  Lai, Liyang;  Tsai, Hans;  Li, Huawei
收藏  |  浏览/下载:49/0  |  提交时间:2020/12/10
ATPG  fault simulation  general-purpose computing on graphics processing units (GPGPUs)  
Deterministic and Probabilistic Diagnostic Challenge Generation for Arbiter Physical Unclonable Function 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2018, 卷号: 37, 期号: 12, 页码: 3186-3197
作者:  Ye, Jing;  Guo, Qingli;  Hu, Yu;  Li, Xiaowei
收藏  |  浏览/下载:263/0  |  提交时间:2019/04/03
Arbiter physical unclonable function (PUF)  delay fault  diagnostic challenge  fault diagnosis  stuck-at fault  
Functional Test Generation for Hard-to-Reach States Using Path Constraint Solving 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2016, 卷号: 35, 期号: 6, 页码: 999-1011
作者:  Zhou, Yanhong;  Wang, Tiancheng;  Li, Huawei;  Lv, Tao;  Li, Xiaowei
收藏  |  浏览/下载:65/0  |  提交时间:2019/12/13
Abstraction-guided simulation  functional test generation  hard-to-reach states  path constraint solving  
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
收藏  |  浏览/下载:40/0  |  提交时间:2019/12/13
Abstraction-guided simulation  Markov analysis  semi-formal verification