Changes between Version 12 and Version 13 of Writing Rules/Caba


Ignore:
Timestamp:
Mar 27, 2007, 10:29:59 PM (18 years ago)
Author:
Nicolas Pouillon
Comment:

Better image linking

Legend:

Unmodified
Added
Removed
Modified

  • Writing Rules/Caba

    v12 v13  
    99
    1010Those modeling rules are based on the "Synchronous Communicating Finite State Machines" theory. The idea is to force the "event driven" SystemC simulation engine to run as a cycle based simulator.
     11
     12[[Image(fsm.png,align=right,nolink)]]
    1113
    1214A given hardware architecture is obtained by direct instantiation of hardware modules, connected by signals. A given architecture can contain several instances of the same module. Each module is described as one (or several) synchronous FSM(s).
    … …  
    1618 * The Moore generation function  computes the values of those output port signals that depend only on the internal registers.
    1719 * 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.
    18 
    19 [[Image(fsm.png)]]
    2020
    2121In 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.