Provided by: alliance_5.0-20110203-4_i386 bug

NAME

       SYF - Finite State Machine synthesizer.

SYNOPSIS

       syf -a|j|m|u|o|r [-CDEOPRSTV] input_name [output_name]

DESCRIPTION

       syf  is  a  Finite  State  Machine  synthesizer.   syf  allows  a  fast
       generation of VHDL Data Flow  description  (see  vbe(5))  from  a  VHDL
       Finite   State   Machine  description  (see  fsm(5)).   The  input  FSM
       specification can use an internal STACK.  Both MOORE  and  MEALEY  FSMs
       can be synthesized, with output registers if desired.  For a MOORE FSM,
       a  timing-optimized   implementation   that   emulates   a   ROM   with
       microsequencer  is  possible.   A scan-path for the state registers can
       also be implemented.

ENVIRONMENT VARIABLES

       MBK_WORK_LIB(1)
                 indicates the  path  to  the  read/write  directory  for  the
                 session.

OPTIONS

       -a        Uses "Asp" as encoding algorithm.

       -j        Uses "Jedi" as encoding algorithm.

       -m        Uses "Mustang" as encoding algorithm.

       -u        Uses an encoding given by user through <input_name>.enc file.
                 In this file, a line started by a # character is  a  comment.
                 A  valid  line  contains  one  state  name  followed  by  its
                 hexadecimal code.

       -o        Uses the one hot encoding algorithm.

       -r        Uses distinct random numbers for state encoding.

       -C        Checks the transition's consistency.

       -D        With this option syf doesn't optimize unused, i.e Don't Care,
                 codes.

       -E        Saves  the  encoding  result  in the <output_name>.enc.  This
                 file has the same syntax as <input_name>.enc  file  which  is
                 used by -u option.

       -O        With this option syf places registers on the outputs.

       -P        Implements   a  scan-path  for  the  state  registers,  stack
                 registers and possibly output registers. Scan-path  mechanism
                 is  directely  included  in  states decoder. Users should use
                 scapin(5) for  a  correct  insertion  of  a  scan-path  in  a
                 netlist.  Please check fsm(5) for information about scan-path
                 descriptions.

       -R        This option is  only  available  for  MOORE  FSM.  With  this
                 option,   syf   emulate   s   a   ROM   with  micro-sequencer
                 implementation : there is no combinatorial logic between  the
                 state  registers  and the FSM outputs.  This can be mandatory
                 for external timing constraints.  See fsm(5) and grog(1)  for
                 more on ROM descriptions.

       -S        With  this  option  syf doesn't take into account the cost of
                 the transitions to compute an encoding.

       -V        Verbose mode on.  Each step of the FSM synthesis is displayed
                 on the standard output, along with some statistics.

EXAMPLE

       Environment variables:
       setenv MBK_WORK_LIB /alliance/tutorials/dlxm

       syf  is  called  as  follow  (the  dlx_ctrl.fsm  is  already created in
       /alliance/tutorials/dlxm) :

       syf -sE dlx_ctrl

       Two files will be generated, a states encoding file dlx_ctrls.enc and a
       VHDL data flow file /alliance/tutorials/dlxm/dlx_ctrls.vbe

SEE ALSO

       fsm(5),   vbe(5),   vhdl(5),   boom(1),  boog(1),  loon(1),  scapin(1),
       asimut(1), proof(1), MBK_WORK_LIB(1).