US20080177990 05/18/2016 Synthesized assertions in a self-correcting processor and applications thereof Share Article Back
