Yongyang Hu

Multi-thread Simulation-based Equivalence Checking between SIM and RTI

Guilin Chen, Haitao Yang, Kang Wang, 2020, CSAE.

A Path-Based Equivalence Checking Method Between System Level and RTL Descriptions Using Machine Learning

Guilin Chen, Haitao Yang, Qi Lv, 2020 .

Validating GCSE in the scheduling of high-level synthesis

Haitao Yang, Long Yu, Jian Hu, 2020, 2020 IEEE 29th Asian Test Symposium (ATS).

Formal Verification of GCSE in the Scheduling of High-level Synthesis: Work-in-Progress

Haitao Yang, Long Yu, Jian Hu, 2020, 2020 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

Edge Computing Empowered Satellite-Territorial Networks: Service Architecture, Use Case, and Open Issues

Xianglin Wei, Ruimin Lu, Shiyun Yu, 2021 .

A Survey of Verification for High-level Synthesis

Guilin Chen, Yongyang Hu, Jian Hu, 2021, Journal of Computer-Aided Design & Computer Graphics.

Wireless edge caching based on content similarity in dynamic environments

Jianwei Liu, Xianglin Wei, Chaogang Tang, 2021, J. Syst. Archit..