Yingke Gao

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 5

Top Topics

Constraint Logic Programming

Constraint Solvers

Test Generation

Top Venues

Comput. Commun.

Publications

Sen Li, Hui Jin, Yingke Gao, Ying Wang, Shuhong Dai, Yongjun Xu, Long Cheng
Approximate data mapping in refresh-free DRAM for energy-efficient computing in modern mobile systems. Comput. Commun. 216 (2024)
Yi Zhang, Yingke Gao, Haonan Zhang, Xinyu Lei, Longjun Liu
Cross-Layer Patch Alignment and Intra-and-Inter Patch Relations for Knowledge Distillation. ICIP (2023)
Yun Cheng, Huawei Li, Ying Wang, Yingke Gao, Bo Liu, Xiaowei Li
Flip-flop clustering based trace signal selection for post-silicon debug. VTS (2017)
Yingxin Qiu, Huawei Li, Tiancheng Wang, Bo Liu, Yingke Gao, Xiaowei Li
Property Coverage Analysis Based Trustworthiness Verification for Potential Threats from EDA Tools. ATS (2016)
Yanhong Zhou, Huawei Li, Tiancheng Wang, Bo Liu, Yingke Gao, Xiaowei Li
Path constraint solving based test generation for observability-enhanced branch coverage. VTS (2016)
Yingke Gao, Huan Ying, Zhiyuan Xue, Tiejun Zhang, Donghui Wang, Chaohuan Hou
Design of Bitstream Co-processor for Multimedia Applications. DASC (2013)
Zhiyuan Xue, Huan Ying, Yingke Gao, Tiejun Zhang, Donghui Wang, Chaohuan Hou
A design of configurable image enhancement unit. ASICON (2013)
Qi Wang, Yingke Gao, Donghui Wang, Tiejun Zhang, Chaohuan Hou
Design and implementation of a dynamic loop buffer by reusing the instruction buffer. ASICON (2013)
Yingke Gao, Diancheng Wu, Quanquan Li, Tiejun Zhang, Chaohuan Hou
Design and implementation of transaction level processor based on UVM. ASICON (2013)
Quanquan Li, Yingke Gao, Tiejun Zhang, Chaohuan Hou
A test approach of combining partial scan with functional testing for high performance processors. ASICON (2011)