Rajnish Ghughal

According to our database, Rajnish Ghughal authored at least 8 papers between 1997 and 2014.

Collaborative distances:

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

2014

Formally Verifying Graphics FPU - An Intel® Experience.

Aarti Gupta, V. M. Achutha KiranKumar, Rajnish Ghughal

Proceedings of the FM 2014: Formal Methods, 2014

2012

Symbolic Trajectory Evaluation: The primary validation Vehicle for next generation Intel® Processor Graphics FPU.

V. M. Achutha KiranKumar, Aarti Gupta, Rajnish Ghughal

Proceedings of the Formal Methods in Computer-Aided Design, 2012

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

2001

Applications of Hierarchical Verification in Model Checking.

Robert Beers, Rajnish Ghughal, Mark D. Aagaard

Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000

Verification Methods for Weaker Shared Memory Consistency Models.

Rajnish Ghughal, Ganesh Gopalakrishnan

Proceedings of the Parallel and Distributed Processing, 2000

1998

Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model.

Rajnish Ghughal, Abdelillah Mokkedem, Ratan Nalumasu, Ganesh Gopalakrishnan

Proceedings of the Tenth Annual ACM Symposium on Parallel Algorithms and Architectures, 1998

The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors.

Ratan Nalumasu, Rajnish Ghughal, Abdelillah Mokkedem, Ganesh Gopalakrishnan

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Formal modeling and validation applied to a commercial coherent bus: a case study.

Ganesh Gopalakrishnan, Rajnish Ghughal, Ravi Hosabettu, Abdelillah Mokkedem, Ratan Nalumasu

Proceedings of the Advances in Hardware Design and Verification, 1997