No description available.

This thesis investigates the design of fault tolerant and fault secure (FTFS) systems within the framework of silicon compilation. Automatic design modification is used to introduce FTFS characteristics into a design. A taxonomy of FTFS techniques is introduced and is used to identify a number of features which an "automatic design for FTFS" system should exhibit. A silicon compilation system, Chip Churn 2 (CC2), has been implemented and has been used to demonstrate the feasibility of automatic design of FTFS systems. The CC2 system provides a design language, simulation facilities and a back-end able to produce CMOS VLSI designs. A number of FTFS design methods have been implemented within the CC2 environment; these methods range from triple modular redundancy to concurrent parity code checking. The FTFS design methods can be applied automatically to general designs in order to realise them as FTFS systems. A number of example designs are presented; these are used to illustrate the FTFS modification techniques which have been implemented. Area results for CMOS devices are presented; this allows the modification methods to be compared. A number of problems arising from the methods are highlighted and some solutions suggested.

Thesis (M.S.)--Missouri University of Science and Technology, 2008. / Degree granted by Missouri University of Science and Technology, formerly known as University of Missouri--Rolla. Vita. The entire thesis text is included in file. Title from title screen of thesis/dissertation PDF file (viewed April 2, 2008) Includes bibliographical references.

Thesis (Ph. D.)--University of Texas at Austin, 2008. / Vita. Includes bibliographical references.

Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1994. / Vita. Abstract. Includes bibliographical references (leaves 165-169). Also available via the Internet.

Thesis (Ph. D.)--University of Hong Kong, 2007. / Title proper from title frame. Also available in printed format.

Thesis (M. Phil.)--University of Hong Kong, 2008.

Thesis (Ph. D.)--University of Iowa, 2005. / Includes bibliographical references (leaves 141-147).

Thesis (Ph. D.)--West Virginia University, 1998. / Title from document title page. Document formatted into pages; contains xix, 179 p. : ill. Includes abstract. Includes bibliographical references (p. 173-178).

Thesis (M.A.) -- Central Connecticut State University, 2008. / Thesis advisor: Nelson Castañeda. "... in partial fulfillment of the requirements for the degree of Master of Arts in Mathematical Sciences." Includes bibliographical references (leaf 32). Also available via the World Wide Web.