That’s called dual core lockstep and it’s very common in automotive and other applications where reliability is paramount.
Not directly related but some platforms supporting lockstep are flexible: you can use a pair as either 2 cores (perf) or a single logical one (lockstep).