Topi: a special purpose computer for boolean analysis and synthesis

TOPI is a special-purpose computer for the synthesis and analysis of Boolean functions. The algorithms executed by TOPI have been developed specifically for this computer and are an evolution of the iterative consensus method. They allow the determination and classification of the prime implicants of a given Boolean function, as well as the determination of a number of irredundant normal coverings. The computer capabilities are limited to single-output functions of a maximum of 15 variables, or to n-output functions of a maximum of 15-n variables.