Shidong Shen

According to our database, Shidong Shen authored at least 1 paper in 2024.

Collaborative distances:

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

2024

Formal Verification of RISC-V Processor Chisel Designs.

Shidong Shen, Yicheng Liu, Lijun Zhang, Fu Song, Zhilin Wu

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024