This Presentation
}MSFSM Intuitive Example
}Edge-triggered FF Example
}
}D-type FF presented in Mano’s Book
}How do we formally verify correct operation?
}What models are needed?
}FSM product (composition of FSMs)
}MSFSMs (Multiple Synchronised FSMs) – analysis without product using asynchronous FSMs
}
}
}
}
}
}
}
2
CE-653 - MSFSM Intuitive Example