5.1 Methods: Exploration of Finite State Machines Finite state machines are present in all major designs and components within those designs. Despite them being common, the number of mistakes found in FSM implementations is surprisingly huge. The FSM exploration features available in ALINT-PRO can quickly catch many errors in an FSM design through Static Analysis.
