Visualize ACT Design

It can be helpful to visualize the connectivity between instances in an ACT design. The tool act2dot can be used to visualize the connectivity at the CHP-level of abstraction (default), or the PRS level of abstraction. The usage is similar to dflow2dot, namely:

$ act2dot -p top_level file.act

will create a collection of graphviz files named procname.dot, where procname is the mangled expanded process name. Each file will contain the connectivity at that level of the design.

The -g option can be used to switch to the PRS (gate) level of abstraction when showing how processes are connected.