loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Euromicro Symposium on Digital System Design (DSD'02)
Fault Latencies of Concurrent Checking FSMs
Dortmund, Germany
September 04-September 06
ISBN: 0-7695-1790-0
Roman Goot, Academic Technological Institute
Ilya Levin, Tel Aviv University
Sergei Ostanin, Tel Aviv University
In this paper we introduce concepts of a potential fault latency and a real fault latency for Finite State Machines (FSMs). The potential latency defines a minimal value of the possible latency for an FSM, while the real latency relates to the certain implementation of the FSM. A method for investigation of latencies for on-line checking FSMs is described. This technique is based on selection of trajectories of the Markov chain, which describes behavior of the fault free FSM as well as the faulty FSM. We also estimate the lowest bound for an average latency. This estimation may be useful at an initial stage of the design when information concerning requirements to the FSM and conditions of its functioning is limited.
Citation:
Roman Goot, Ilya Levin, Sergei Ostanin, "Fault Latencies of Concurrent Checking FSMs," dsd, pp.174, Euromicro Symposium on Digital System Design (DSD'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.