Enyuan Tian

According to our database, Enyuan Tian authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction.

Enyuan Tian, Yiwei Ci, Qiusong Yang, Yufeng Li, Zhichao Lyu

CoRR, July, 2025

Efficient processor verification by tautologies-derived universal properties model checking.

Yufeng Li, Yiwei Ci, Qiusong Yang, Enyuan Tian

Integr., 2025

2024

SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution.

Yufeng Li, Qiusong Yang, Yiwei Ci, Enyuan Tian

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024