Sanjai Athi

According to our database, Sanjai Athi authored at least 1 paper in 2011.

Collaborative distances:

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

2011

Achieving Glitch-Free Clock Domain Crossing Signals Using Formal Verification, Static Timing Analysis, and Sequential Equivalence Checking.

Kesava R. Talupuru, Sanjai Athi

Proceedings of the 12th International Workshop on Microprocessor Test and Verification, 2011