SYF(1)

NAME

SYF
    - Finite State Machine synthesis.

ORIGIN
This software belongs to the ALLIANCE CAD system from
the CAO-VLSI team at MASI laboratory, University P. and M.
Curie. 4, place Jussieu ; 75252 PARIS Cedex 05 ; FRANCE
FAX: (33-1) 44.27.62.86 ; E-mail cao-vlsi@masi.ibp.fr

SYNOPSIS

syf [-s|-m|-a|-h|-r]  FILE [-of output_file_name] [-stack]
    [-pseudorom] [-scan] [-save]

DESCRIPTION
syf is a Finite State Machine synthesizer. syf allows a fast generation of VHDL Data_Flow description (for further information about this VHDL subset, read the "vbe" manual) from a VHDL Finite State Machine description (see fsm(5)). The input FSM specification can use an internal STACK. Both MOORE and MEALEY FSM can be synthesized. For a MOORE FSM, a timing-optimized implementation that emulates a ROM with microsequencer is possible. A scan-path for the state registers can be also implemented.

ENVIRONMENT VARIABLES

MBK_WORK_LIB gives the work directory path.

OPTIONS

-s  Uses a "vertical" encoding algrithm.

-m  Uses a "horizontal" encoding algrithm.

-a  Uses a random encoding.

-h  Uses an encoding given by user through <file>.cod file. In this file, all line started by a # character is not interpreted. A valid line contains one state name followed by his hexadecimal code.

-r  Uses simulated annealing as state assignment algorithm.

-scan
    With this option syf implements a scan-path for the state registers. Refer to fsm(5) for information about scan-path description.

-of output_file_name
    With this option the output file generated by SYF will be out_put_file_name. Else the output file name will be the input file name added to the encoding option. If the -save option is used the encoding result is saved in <input_file_name.cod>.

-stack
    This option is only useful for STACK FSM. With this option SYF optimizes the state encoding in order to minimize the stack area. This option being time-consuming is optional.

-pseudorom
    This option is only available for MOORE FSM. With this option, syf emulates a ROM with micro-sequencer implementation : there is no combinatorial logic between the state registers and the FSM outputs, can be mandatory for external timing constraints.

-save
    With this option syf saves the encoding result in the <file(encoding algorithm identifier)>.cod. This file has the same syntax as <file>.cod file which is used by -h option.

EXAMPLE
Environment variables:
setenv MBK_WORK_LIB /users/Michel/fsm
syf is called as follow (the dlx_ctrl.fsm is already created in /users/Michel/fsm) :
syf -s dlx_ctrl -save Two files will be generated, a states encoding file dlx_ctrls.cod and a VHDL data flow file /users/Michel/beh/dlx_ctrls.vbe

SEE ALSO
vhdl.

DIAGNOSTICS
Please, report problems or bugs to cao-vlsi@masi.ibp.fr or more precisely to sarwary@masi.ibp.fr