Behavioral synthesis of fault secure controller/datapaths using aliasing probability analysis

Proceedings - Annual International Conference on Fault-Tolerant Computing

Volumn , Issue , 1996, Pages 336-345

  Lakshminarayana, Ganesh ^a   Raghunathan, Anand ^a   Jha, Niraj K ^a  

^a PRINCETON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CONTROL SYSTEM SYNTHESIS; CRITICAL PATH ANALYSIS; DATA HANDLING; ELECTRIC NETWORK SYNTHESIS; FAILURE ANALYSIS; PROBABILITY; RESOURCE ALLOCATION; SECURITY OF DATA;

ALIASING PROBABILITY ANALYSIS (ALPS); BEHAVIORAL SYNTHESIS; FAULT SECURE CONTROLLER DATAPATH CIRCUITS;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0029713527     PISSN: 07313071     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)