2 papers
cs.AR2025
Implementation of Compute Intensive Algorithms on Software Configurable Processor
Ganesha, Rodrigues Steevan, Niranjan U. C.
Software configurable processors (SCP) implement compute intensive applications very efficiently on the special onchip configurable hardware. The SCP by Stretch Inc. converts the c…
cs.SE2025
A Formal Verification Approach to Safeguard Controller Variables from Single Event Upset
Ganesha, Sujit Kumar Chakrabarti
We present a method based on program analysis and formal verification to identify conditionally relevant variables (CRVs) - variables which could lead to violation of safety proper…