Kaifan Wang

According to our database, Kaifan Wang authored at least 3 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Functional Verification for Agile Processor Development: A Case for Workflow Integration.

Yinan Xu, Zihao Yu, Kaifan Wang, Huaqiang Wang, Jiawei Lin, Yue Jin, Linjuan Zhang, Zifei Zhang, Dan Tang, Sa Wang, Kan Shi, Ninghui Sun, Yungang Bao

J. Comput. Sci. Technol., July, 2023

Model Checking TileLink Cache Coherence Protocols By Murphi.

Zimin Li, Yongjian Li, Kaifan Wang, Kun Ma, Shizhen Yu

Proceedings of the 41st IEEE International Conference on Computer Design, 2023

2022

Towards Developing High Performance RISC-V Processors Using Agile Methodology.

Yinan Xu, Zihao Yu, Dan Tang, Guokai Chen, Lu Chen, Lingrui Gou, Yue Jin, Qianruo Li, Xin Li, Zuojun Li, Jiawei Lin, Tong Liu, Zhigang Liu, Jiazhan Tan, Huaqiang Wang, Huizhe Wang, Kaifan Wang, Chuanqi Zhang, Fawang Zhang, Linjuan Zhang, Zifei Zhang, Yangyang Zhao, Yaoyang Zhou, Yike Zhou, Jiangrui Zou, Ye Cai, Dandan Huan, Zusong Li, Jiye Zhao, Zihao Chen, Wei He, Qiyuan Quan, Xingwu Liu, Sa Wang, Kan Shi, Ninghui Sun, Yungang Bao

Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022