Tianyao Lu

According to our database, Tianyao Lu authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Comprehensive RISC- V Floating-Point Verification: Efficient Coverage Models and Constraint-Based Test Generation.

Tianyao Lu, Anlin Liu, Bingjie Xia, Peng Liu

Proceedings of the Design, Automation & Test in Europe Conference, 2025

2024

Enhancing Functional Verification with Dynamic Instruction Generation by Exploiting Processor Runtime States.

Anlin Liu, Tianyao Lu, Yuhao Xi, Yangfan Liu, Peng Liu

Proceedings of the IEEE International Test Conference, 2024