---
name: "syf"
section: "1"
platform: "linux"
package: "alliance"
version: "5.1.1-3"
release: "Debian 10 (Buster)"
platforms: ["linux"]
url: "https://new.carta.tech/syf"
---

# 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 generation of VHDL Data Flow description (see [**vbe**(5)](/vbe/5.md)) from a VHDL Finite State Machine description (see [**fsm**(5)](/fsm/5.md)). 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)](/MBK_WORK_LIB/1.md)

  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)](/fsm/5.md) 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)](/fsm/5.md) and [**grog**(1)](/grog/1.md) 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)](/fsm/5.md), [**vbe**(5)](/vbe/5.md), [**vhdl**(5)](/vhdl/5.md), [**boom**(1)](/boom/1.md), [**boog**(1)](/boog/1.md), [**loon**(1)](/loon/1.md), [**scapin**(1)](/scapin/1.md), [**asimut**(1)](/asimut/1.md), [**proof**(1)](/proof/1.md), [**MBK\_WORK\_LIB**(1)](/MBK_WORK_LIB/1.md).