Perhaps you can adapt "Diverse Double-Compiling" to "Diverse Double-Manufacturing"?
http://www.dwheeler.com/trusting-trust/
High assurance software design - nice intro http://web.cecs.pdx.edu/~hook/cs491sp08/AssuranceSp08.ppt
FOSS tools for high assurance http://www.dwheeler.com/essays/high-assurance-floss.html
Certified compilation (HW w/ need certified "synthesis") http://compcert.inria.fr/
Original work on subversion http://csrc.nist.gov/publications/history/myer80.pdf
Example of it in action http://www.cisr.us/downloads/theses/02thesis_anderson.pdf
Example of high assurance hardware (AAMP7G version is secure but no public paper...) http://www.csl.sri.com/papers/wift95/wift95.pdf