xlsynth-driver 0.0.75

This is a command line driver program that integrates various XLS capabilities.

It can either work via the runtime APIs or by invoking the XLS tools present in a directory (e.g. as downloaded from a release).

Commands are given like:

xlsynth-driver <global-options> <command> <command-args-and-options>

Commands are:

• dslx2pipeline: Converts a DSLX entry point to a SystemVerilog pipeline.
• dslx2ir: Converts a DSLX file to the XLS IR.
• ir2opt: Converts an XLS IR file to an optimized XLS IR file.
• dslx2sv-types: Convert type definitions in a DSLX file to SystemVerilog types.

Sample usage:

$ cargo run -- --toolchain=$HOME/xlsynth-toolchain.toml \
    dslx2ir ../sample-usage/src/sample.x
$ cargo run -- --toolchain=$HOME/xlsynth-toolchain.toml \
    dslx2pipeline ../sample-usage/src/sample.x add1 \
    --delay_model=asap7 --pipeline_stages=2 \
    --input_valid_signal=input_valid \
    --output_valid_signal=output_valid
$ cargo run -- \
    dslx2sv-types ../tests/structure_zoo.x