Distributed HISC Project Checks


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.


« Distributed Flat Project Checks   |   Save a Project »