-config-excluder

Exclude speculation configurations that cannot lead to II = 1.

-extract-critical-path

Extract a minimal critical path that constrains the II.

-mobility

Compute mobility information.

-schedule

A CIRCT scheduler wrapper for SpecHLS.