IEEE - Institute of Electrical and Electronics Engineers, Inc. - Behavioral synthesis of fault secure controller/datapaths using aliasing probability analysis

Proceedings of Annual Symposium on Fault Tolerant Computing

Author(s): Lakshminarayana, G. ; Raghunathan, A. ; Jha, N.k.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Sendai, Japan, Japan
Conference Date: 25 June 1996
Page(s): 336 - 345
ISBN (Paper): 0-8186-7262-5
ISSN (Paper): 0731-3071
DOI: 10.1109/FTCS.1996.534618
Regular:

We address the problem of synthesizing fault-secure controller/data path circuits from behavioral specifications. We use an iterative improvement based behavioral synthesis framework that performs... View More

Advertisement