Vivek Ramanathan

According to our database, Vivek Ramanathan authored at least 1 paper in 2022.

Collaborative distances:

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

2022

VWSIM: A Circuit Simulator.

Warren A. Hunt Jr., Vivek Ramanathan, J Strother Moore

Proceedings of the Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, 2022