[Katz 1995] R. H. Katz. Contemporary Logic Design. The Benjamin/Cummings
Publishing Company, Inc, p. 85-89, 1995.
[Bryant 1986] R. E. Bryant. Graph-Based Algorithms for Boolean Function
Manipulation, IEEE Trans. On Comp., Vol. C-35, No. 8 (August, 1986), pp.
677-691.
|