Rushikesh Shinde

According to our database, Rushikesh Shinde authored at least 3 papers between 2019 and 2021.

Collaborative distances:

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

2021

Enhanced Design Debugging With Assistance From Guidance-Based Model Checking.

V. S. Vineesh, Binod Kumar, Rushikesh Shinde, Neelam Sharma, Masahiro Fujita, Virendra Singh

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021

2020

Analyzing Hardware Security Properties of Processors through Model Checking.

Binod Kumar, Akshay Kumar Jaiswal, V. S. Vineesh, Rushikesh Shinde

Proceedings of the 33rd International Conference on VLSI Design and 19th International Conference on Embedded Systems, 2020

2019

Orion: A Technique to Prune State Space Search Directions for Guidance-Based Formal Verification.

Vineesh V. S., Binod Kumar, Rushikesh Shinde, Akshay Jaiswal, Harsh Bhargava, Virendra Singh

Proceedings of the 28th IEEE Asian Test Symposium, 2019