Nairen Zhang

According to our database, Nairen Zhang authored at least 3 papers between 2010 and 2026.

Collaborative distances:

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

2026

Qihe: A General-Purpose Static Analysis Framework for Verilog.

Qinlin Chen, Nairen Zhang, Jinpeng Wang, Jiacai Cui, Tian Tan, Xiaoxing Ma, Chang Xu, Jian Lu, Yue Li

CoRR, January, 2026

2023

The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog.

Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan, Chang Xu, Xiaoxing Ma, Yue Li

Proc. ACM Program. Lang., October, 2023

2010

IP routing processing with graphic processors.

Shuai Mu, Xinya Zhang, Nairen Zhang, Jiaxin Lu, Yangdong Steve Deng, Shu Zhang

Proceedings of the Design, Automation and Test in Europe, 2010