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.
|Publication status||Published - 1 Jan 1998|