Changes between Version 31 and Version 32 of Writing Rules/Caba

Timestamp:

Nov 14, 2013, 2:22:15 PM (10 years ago)

Author:

alain

Comment:

--

Writing Rules/Caba

@@ -20 +20 @@
 
 If all internal register are clearly identified, any FSM can be described by three types of functions:
- * The Transition function computes the next values of the register, depending on the current values of the register and the values of the input ports signals.
- * The Moore generation function  computes the values of those output port signals that depend only on the internal registers.
- * The Mealy generation functions computes values of those output port signals that depend both on the internal registers AND the values of the input port signals.
+ * The '''transition function''' computes the next values of the register, depending on the current values of the register and the values of the input ports signals.
+ * The '''genMoore function'''  computes the values of those output port signals that depend only on the internal registers.
+ * The '''genMealy function(s)''' computes values of those output port signals that depend both on the internal registers AND the values of the input port signals.
 
 In this figure we represented a single FSM, but a SoCLib component contains generally several small FSMs running in parallel inside a single module. This internal parallelism should be properly described.