Thanks to all for your replies.
I know that Actel makes a rad-hard FPGA in which you can instantiate a soft Cortex-M1 core--but the core itself is not TMR. Still, this seems to be the best bet for now.
Best regards, Paul
--------------= Posted using GrabIt =----------------
------= Binary Usenet downloading made easy =---------
-= Get GrabIt for free from
formatting link
=-