Fine Logging Evaluation of Fractures in Continental Tight Oil Sandstone Reservoirs of Yanchang Formation in the Ordos Basin by Zhanjun Chen, Anzhao Ji, Yidong Yuan, Yidong Yuan

Get full text

Research on Cache Coherence Protocol Verification Method Based on Model Checking by Yiqiang Zhao, Boning Shi, Qizhi Zhang, Yidong Yuan, Jiaji He

Get full text

Hardware Trojan Detection Using Effective Property-Checking Method by Dejian Li, Qizhi Zhang, Dongyan Zhao, Lei Li, Jiaji He, Yidong Yuan, Yiqiang Zhao

Get full text

A Heterogeneous RISC-V Processor for Efficient DNN Application in Smart Sensing System by Haifeng Zhang, Xiaoti Wu, Yuyu Du, Hongqing Guo, Chuxi Li, Yidong Yuan, Meng Zhang, Shengbing Zhang

Get full text

A Gate-Level Information Leakage Detection Framework of Sequential Circuit Using Z3 by Qizhi Zhang, Liang Liu, Yidong Yuan, Zhe Zhang, Jiaji He, Ya Gao, Yao Li, Xiaolong Guo, Yiqiang Zhao

Get full text

High Area Efficiency Bidirectional Silicon-Controlled Rectifier for Low-Voltage Electrostatic Discharge Protection by Yipeng Chen, Dongyan Zhao, Shicong Zhou, Xinyu Zhu, Feng Gao, Yidong Yuan, Yi Hu, Tianting Zhao, Xiaojuan Li, Shurong Dong

Get full text