Releases

The following tools are packaged in the nightly releases:

• parse_and_typecheck_dslx_main: Parses and typechecks DSLX (.x) source files and emits errors.
• dslx_fmt: Auto-formats DSLX source files.
• interpreter_main: Interprets DSLX source files and runs tests.
• prove_quickcheck_main: Proves DSLX #[quickcheck] properties over all inputs using an SMT solver.
• ir_converter_main: Converts DSLX source files into XLS IR (.ir).
• opt_main: Runs XLS IR through the optimization pipeline.
• check_ir_equivalence_main: Verifies that two XLS IR files are logically equivalent.
• delay_info_main: Reports per-node delay estimates and critical-path timing for XLS IR.
• codegen_main: Schedules and lowers XLS IR into (System)Verilog.
• print_bom: Summarizes bill-of-materials (BOM) metrics from codegen_main --block_metrics_path outputs.
• proto_to_dslx_main: Converts a Protocol Buffer message instance and its accompanying schema into a DSLX module.
• dslx_ls: Provides Language Server Protocol (LSP) support for DSLX.

See the tools listing page for additional tools buildable from source.