Transient fault tolerant asynchronous circuits

Placeholder Show Content

Abstract/Contents

Abstract
Asynchronous digital circuits are circuits that don't have clocks. They sometimes have advantages including speed, lower power consumption, and relative insensitivity to environmental conditions such as temperature. Transient faults, which are changes in the circuit that do not permanently damage the circuit, are a growing problem in digital circuits. Transient faults are mainly due to radiation effects such as Single Event Upsets (SEUs). These faults occur on the ground and are exacerbated in space. In this work, I present an overview of asynchronous circuits, in particular speed-independent control circuits, and our model for transient faults. I then present a fault-tolerant transformation of the circuit based on duplication. I discuss how to define fault tolerance formally. Then I show using logic and formal methods why the transformed circuit is fault-tolerant to single transient faults.

Description

Type of resource text
Form electronic resource; remote; computer; online resource
Extent 1 online resource.
Place California
Place [Stanford, California]
Publisher [Stanford University]
Copyright date 2019; ©2019
Publication date 2019; 2019
Issuance monographic
Language English

Creators/Contributors

Author Zhou, Zhongying
Degree supervisor Dill, David L
Thesis advisor Dill, David L
Thesis advisor Barrett, Clark C
Thesis advisor Mitra, Subhasish
Degree committee member Barrett, Clark C
Degree committee member Mitra, Subhasish
Associated with Stanford University, Department of Electrical Engineering.

Subjects

Genre Theses
Genre Text

Bibliographic information

Statement of responsibility Zoey Zhou.
Note Submitted to the Department of Electrical Engineering.
Thesis Thesis Ph.D. Stanford University 2019.
Location electronic resource

Access conditions

Copyright
© 2019 by Zhongying Zhou

Also listed in

Loading usage metrics...