Haitao Yang

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 6

Top Topics

Design Space Exploration

Top Venues

J. Circuits Syst. Comput.

Publications

Jian Hu, Minhui Hu, Kuang Zhao, Yun Kang, Haitao Yang, Jie Cheng
A Hybrid Method for Equivalence Checking Between System Level and RTL. J. Circuits Syst. Comput. 31 (9) (2022)
Jian Hu, Yongyang Hu, Qi Lv, Wentao Wang, Guanwu Wang, Guilin Chen, Kang Wang, Yun Kang, Haitao Yang
A Path-Based Equivalence Checking Method Between System Level and RTL Descriptions Using Machine Learning. J. Circuits Syst. Comput. 30 (4) (2021)
Jian Hu, Yun Kang, Yongyang Hu, Haitao Yang, Le Tong, Jie Cheng, Junquan Deng
DssEC: A Deep State Sequence Based Equivalence Checker. CSAE (2021)
Jian Hu, Yongyang Hu, Long Yu, Wentao Wang, Haitao Yang, Yun Kang, Jie Cheng
Formal Verification of GCSE in the Scheduling of High-level Synthesis: Work-in-Progress. CODES+ISSS (2020)
Jian Hu, Yongyang Hu, Guanwu Wang, Guilin Chen, Haitao Yang, Yun Kang, Kang Wang
Multi-thread Simulation-based Equivalence Checking between SIM and RTI. CSAE (2020)
Jian Hu, Yongyang Hu, Long Yu, Haitao Yang, Yun Kang, Jie Cheng
Validating GCSE in the scheduling of high-level synthesis. ATS (2020)