On the Design of Self-checking Controllers with Datapath Interactions
We consider the problem of designing self-checking controllers for controller / datapath architectures. We introduce the concept of intrinsically secure states. We present six alternative schemes based on parity checking, on 1-out-of-n checking, as well as on the observation that a self-checking seq...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
2006-11.
|
Subjects: | |
Online Access: | Get fulltext |