SpecHLS

SpecHLS: A Speculative High-Level Synthesis Framework

-expose-memory-speculation

-infer-LSQ

-lower-spechls-delays

Lower special delays into delays and their special nodes.

-optimize-control-logic

Optimize control logic of gammas.

-remove-intra-raw

Remove intra-iteration RAW dependencies

-simplify-comb

Simplify unwanted pattern in comb dialect.

-simplify-gammas

Simplify gamma node patterns.

-simplify-luts

Simplify LUT patterns.

-spechls-toposort

Call toposort on kernel and tasks.

-speculation-exploration

Exploration configuration configuration and mark it with attributes

Options

-targetTask           : Name of task to inline
-targetClock          : Target clock for scheduling.
-probabilityThreshold : Minimum probability of speculation configurations
-traceFileName        : Profiling trace file.
Last updated on 20 Feb 2026
Published on 20 Feb 2026