SHAKTI Dual Lockstep Microprocessor: Ensuring Functional Integrity for Robust Computing | AMiner