Quantitative evaluation methods in goodness control of logical circuits for discrete devices

Various approaches are analyzed to computing the controllability indices for logical circuits and ways to determine the controllability and observability indices. These approaches are classified and the computer load of the algorithms evaluated. Basic tools in using quantitative estimates of controllability in design of discrete devices are discussed and examples are given.