1SYF(1)                     CAO-VLSI Reference Manual                    SYF(1)
2
3
4

NAME

6       SYF - Finite State Machine synthesizer.
7
8

ORIGIN

10       This software belongs to the  ALLIANCE CAD SYSTEM developed by the ASIM
11       team at LIP6 laboratory of Université Pierre et Marie CURIE, in  Paris,
12       France.
13
14       Web : http://asim.lip6.fr/recherche/alliance/
15       E-mail : alliance-users@asim.lip6.fr
16

SYNOPSIS

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

DESCRIPTION

21       syf  is  a Finite State Machine synthesizer.  syf allows a fast genera‐
22       tion of VHDL Data Flow description (see  vbe(5))  from  a  VHDL  Finite
23       State  Machine  description  (see fsm(5)).  The input FSM specification
24       can use an internal STACK.  Both MOORE and MEALEY FSMs can  be  synthe‐
25       sized,  with  output  registers  if  desired.   For a MOORE FSM, a tim‐
26       ing-optimized implementation that emulates a ROM with microsequencer is
27       possible.  A scan-path for the state registers can also be implemented.
28
29

ENVIRONMENT VARIABLES

31       MBK_WORK_LIB(1)
32                 indicates  the  path to the read/write directory for the ses‐
33                 sion.
34
35

OPTIONS

37       -a        Uses "Asp" as encoding algorithm.
38
39       -j        Uses "Jedi" as encoding algorithm.
40
41       -m        Uses "Mustang" as encoding algorithm.
42
43       -u        Uses an encoding given by user through <input_name>.enc file.
44                 In  this  file, a line started by a # character is a comment.
45                 A valid line contains one state name followed by its hexadec‐
46                 imal code.
47
48       -o        Uses the one hot encoding algorithm.
49
50       -r        Uses distinct random numbers for state encoding.
51
52       -C        Checks the transition's consistency.
53
54       -D        With this option syf doesn't optimize unused, i.e Don't Care,
55                 codes.
56
57       -E        Saves the encoding result  in  the  <output_name>.enc.   This
58                 file  has  the  same syntax as <input_name>.enc file which is
59                 used by -u option.
60
61       -O        With this option syf places registers on the outputs.
62
63       -P        Implements a scan-path for the state registers, stack  regis‐
64                 ters  and  possibly  output registers. Scan-path mechanism is
65                 directely  included  in  states  decoder.  Users  should  use
66                 scapin(5)  for  a  correct  insertion  of  a  scan-path  in a
67                 netlist.  Please check fsm(5) for information about scan-path
68                 descriptions.
69
70       -R        This  option  is  only  available  for  MOORE  FSM. With this
71                 option, syf emulate s a ROM with micro-sequencer  implementa‐
72                 tion : there is no combinatorial logic between the state reg‐
73                 isters and the FSM outputs.  This can be mandatory for exter‐
74                 nal  timing  constraints.  See fsm(5) and grog(1) for more on
75                 ROM descriptions.
76
77       -S        With this option syf doesn't take into account  the  cost  of
78                 the transitions to compute an encoding.
79
80       -V        Verbose mode on.  Each step of the FSM synthesis is displayed
81                 on the standard output, along with some statistics.
82

EXAMPLE

84       Environment variables:
85       setenv MBK_WORK_LIB /alliance/tutorials/dlxm
86
87       syf is called  as  follow  (the  dlx_ctrl.fsm  is  already  created  in
88       /alliance/tutorials/dlxm) :
89
90       syf -sE dlx_ctrl
91
92       Two files will be generated, a states encoding file dlx_ctrls.enc and a
93       VHDL data flow file /alliance/tutorials/dlxm/dlx_ctrls.vbe
94

SEE ALSO

96       fsm(5),  vbe(5),  vhdl(5),  boom(1),   boog(1),   loon(1),   scapin(1),
97       asimut(1), proof(1), MBK_WORK_LIB(1).
98
99
100
101
102
103
104ASIM/LIP6                       October 1, 1997                         SYF(1)
Impressum