Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Sandip Ray
Map detail
Sandip Ray4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipSandip RayASandip RayResearcherUsing ACL2 to Verify Loop Pipelining in Behavioral SynthesisWUsing ACL2 to Verify Lo...preprint / 2014A Post-Silicon Trace Analysis Approach for System-on-Chip Protocol DebugWA Post-Silicon Trace An...preprint / 2020A Communication-Centric Observability Selection for Post-Silicon System-on-Chip Integration DebugWA Communication-Centric...preprint / 2019
Person3 links

Sandip Ray

Researcher