Distributed Configuration must be completed before Distributed
Flat Project Checks may be performed.
HISC projects can perform considerably more distributed operations than flat projects. You may perform
Level-Wise Non-Blocking checks, Level-Wise Controllability checks, Level-Wise Interface
Consistency checks, and project wide Check All computations, as either standard DES or BDD
systems. In additional, you may also perform distributed BDD Synthesis.
Unlike the Distributed Flat Project Checks, these checks will attempt
to use all of the available nodes specified in your hostfile.
Please note that projects must be validated and any changes saved
before Distributed Computations can be performed.
The output follows the same format as the non-distributed DES and BDD checks.