LLFSMGenerate

llfsm-generate is a command-line utility for transforming and compiling LLFSM formats that use the VHDL Hardware Description Language. This program allows the transformation between VHDL LLFSMs and other standard Javascript models, such as the VHDL LLFSM editor that utilises React. In addition to this support, the program can generate the relative vhd files for standard execution and formal verification via Kripke structure generation.

Requirements and Supported Platforms

• Swift 6.0 or later (See Installing Swift).
• macOS 26 (Sonoma) or later.
• Linux (Ubuntu 24.04 or later).
• Windows 11.
• Windows Server Edition 2022.

Usage

You may compile the binary by invoking a swift build within the package directory.

cd LLFSMGenerate
swift build -c release

After the compilation, you will find the binary at .build/release/llfsm-generate. It is preferred that the binary is installed within a location accessible by your PATH variable. For example, you may install the program within /usr/local/:

install -m 0755 .build/release/llfsm-generate /usr/local/bin

The llfsm-generate binary allows the transformation of LLFSM models that contain VHDL code within their state actions. Most LLFSMs are created using an editor that places an easily parsable format within the LLFSM directory. This format is very easy to parse using Javascript, however, it does not provide type information that is extremely useful in formal verification and code generation. To generate VHDL code for a given LLFSM, we need to first convert it from the Javascript-like format into the format that our code generator understands. This is done by using the command:

llfsm-generate model <path_to_LLFSM_folder>

Important

Please make sure the LLFSM path contains a .machine extension.

This command creates the type-aware model that our code generator interprets.

Once this model is generated, we can then create the VHDL source files by using:

llfsm-generate vhdl <path_to_LLFSM_folder>

This command creates the .vhd files located in <path_to_LLFSM_folder>/build/vhdl. We can also create the Kripke structure generator that creates graph structures for formal verification.

llfsm-generate vhdl --include-kripke-structure <path_to_LLFSM_folder>

We may now copy our vhdl files into a directory that we can utilise for HDL projects. We have provided a command called install to make this simpler.

llfsm-generate install <path_to_LLFSM_folder> <path_to_install_location>

You may also specify a vivado project location by passing the --vivado flag.

llfsm-generate install <path_to_LLFSM_folder> --vivado <path_to_vivado_project_directory>

Please see the help section of the binary for a complete list of parameters and sub-commands.

OVERVIEW: A utility for performing operations on LLFSM formats.

USAGE: llfsm-generate <subcommand>

OPTIONS:
  --version               Show the version.
  -h, --help              Show help information.

SUBCOMMANDS:
  model                   A utility for converting LLFSM formats.
  vhdl                    A utility for generating VHDL source files from LLFSM definitions.
  clean                   Clean the generated source files from the machine.
  install                 Install the VHDL files into a specified directory.
  graph                   Generate a graphviz file (.dot) for the entire kripke structure.
  report                  Report Statistics about the generated machine.

  See 'llfsm-generate help <subcommand>' for detailed help.

Documentation

The latest documentation may be found on the documentation website.

Installing Swift

You may verify your swift installation by performing swift --version. The minimum required version for llfsm-generate is 6.0. To install swift, follow the instructions for your operating system.