Login / Signup
Rushikesh Shinde
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 3
Top Topics
Formal Verification
Model Checking
Temporal Logic
State Space Search
Top Venues
ATS
VLSI Design
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
</>
Publications
</>
V. S. Vineesh
,
Binod Kumar
,
Rushikesh Shinde
,
Neelam Sharma
,
Masahiro Fujita
,
Virendra Singh
Enhanced Design Debugging With Assistance From Guidance-Based Model Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
40 (5) (2021)
Binod Kumar
,
Akshay Kumar Jaiswal
,
V. S. Vineesh
,
Rushikesh Shinde
Analyzing Hardware Security Properties of Processors through Model Checking.
VLSI Design
(2020)
Vineesh V. S.
,
Binod Kumar
,
Rushikesh Shinde
,
Akshay Jaiswal
,
Harsh Bhargava
,
Virendra Singh
Orion: A Technique to Prune State Space Search Directions for Guidance-Based Formal Verification.
ATS
(2019)