Sudhindra Pandav

According to our database, Sudhindra Pandav authored at least 2 papers between 2005 and 2009.

Collaborative distances:

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

2009

Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation.

Roope Kaivola, Rajnish Ghughal, Naren Narasimhan, Amber Telfer, Jesse Whittemore, Sudhindra Pandav, Anna Slobodová, Christopher Taylor, Vladimir A. Frolov, Erik Reeber, Armaghan Naik

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2005

Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification.

Sudhindra Pandav, Konrad Slind, Ganesh Gopalakrishnan

Proceedings of the Correct Hardware Design and Verification Methods, 2005