Rajnish Ghughal

Publication Activity (10 Years)

Years Active: 1997-2014
Publications (10 Years): 0

Top Topics

Model Validation

Multi Core Processors

Top Venues

Publications

Aarti Gupta, V. M. Achutha KiranKumar, Rajnish Ghughal
Formally Verifying Graphics FPU - An Intel® Experience. FM (2014)
V. M. Achutha KiranKumar, Aarti Gupta, Rajnish Ghughal
Symbolic Trajectory Evaluation: The primary validation Vehicle for next generation Intel® Processor Graphics FPU. FMCAD (2012)
Roope Kaivola, Rajnish Ghughal, Naren Narasimhan, Amber Telfer, Jesse Whittemore, Sudhindra Pandav, Anna Slobodová, Christopher Taylor, Vladimir A. Frolov, Erik Reeber, Armaghan Naik
Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation. CAV (2009)
Robert Beers, Rajnish Ghughal, Mark D. Aagaard
Applications of Hierarchical Verification in Model Checking. CHARME (2001)
Robert Beers, Rajnish Ghughal, Mark D. Aagaard
Applications of Hierarchical Verification in Model Checking. FMCAD (2000)
Rajnish Ghughal, Ganesh Gopalakrishnan
Verification Methods for Weaker Shared Memory Consistency Models. IPDPS Workshops (2000)
Rajnish Ghughal, Abdelillah Mokkedem, Ratan Nalumasu, Ganesh Gopalakrishnan
Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model. SPAA (1998)
Ratan Nalumasu, Rajnish Ghughal, Abdelillah Mokkedem, Ganesh Gopalakrishnan
The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors. CAV (1998)
Ganesh Gopalakrishnan, Rajnish Ghughal, Ravi Hosabettu, Abdelillah Mokkedem, Ratan Nalumasu
Formal modeling and validation applied to a commercial coherent bus: a case study. CHARME (1997)