Modules

[nbingham1]

Related Problem

Currently the tool can only really handle a single pipeline stage before the state space grows to be too much.

Preferred Solution

Implement language support for separate circuit modules that can be instantiated and synthesized separately, then tied together at the end of the flow during layout.

Possible Alternatives

Detect process bounds based on infinite loops and parallel composition, then dynamically generate a valid environment based upon the connected behaviors.

Additional context

Both approaches may be necessary for full generalizability.