Transient fault tolerant asynchronous circuits
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...