US2008017799005/18/2016 Synthesized assertions in a self-correcting processor and applications thereofShare Article Back