I would like to achieve greater SIL level of the system by running the same algorithm on both cores of LPCXpresso54608 board but synchronized and compared by the hardware semaphores or similar mechanisms. Is it a good idea or anybody knows if there are any existing solutions?