FreeBSD Manual Pages
SYF(1) CAO-VLSI Reference Manual SYF(1) 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 genera- tion 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 synthe- sized, with output registers if desired. For a MOORE FSM, a timing-op- timized implementation that emulates a ROM with microsequencer is pos- sible. 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 ses- sion. 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 hexadec- imal 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 regis- ters 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 op- tion, 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 tim- ing constraints. See fsm(5) and grog(1) for more on ROM de- scriptions. -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 /al- liance/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). ASIM/LIP6 October 1, 1997 SYF(1)
NAME | SYNOPSIS | DESCRIPTION | ENVIRONMENT VARIABLES | OPTIONS | EXAMPLE | SEE ALSO
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=syf&sektion=1&manpath=FreeBSD+Ports+15.0>