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...

Full description

Bibliographic Details
Main Authors: Oikonomakos, Petros (Author), Zwolinski, Mark (Author)
Format: Article
Language:English
Published: 2006-11.
Subjects:
Online Access:Get fulltext