Note: This was tested with a 36-input, 159 gate circuit. You may still run into a memory limit issue for extremely large circuits, but I still applied a fix to significantly increase this limit.

This paper describes the system implemented in “Kovcheg” CAD for integrated circuit design automation. This system allows the user to specify combinational circuits in the form of truth tables. Truth ...