Symsin: a simulator to analyze digital switch-level circuits

In this article, a symbolic simulator able to deal with several type of digital circuits, is presented and analyzed. The simulator uses logical functions which represent the discrete voltage level at the nodes. These functions are characterized by two binary boolean functions, which allows to determine the conditions under which the associated nodes are connected to either low or high logic level. The proposed simulator allows the designer of transistor-level circuits to know the logical implications of desired modifications.