Title :
Don´t cares and global flow analysis of Boolean networks
Author :
Brayton, R.K. ; Sentovich, E.M. ; Somenzi, F.
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
Abstract :
External, intermediate, and fan-out don´t care sets have been used to describe information about network structure required to optimize a node of a Boolean network locally. Another method to optimize a network has been called global flow analysis. The authors relate these approaches, generalize global flow to arbitrary Boolean networks, and suggest new algorithms for these problems.<>
Keywords :
logic CAD; logic testing; many-valued logics; Boolean networks; fan-out don´t care sets; global flow analysis; Circuits; Content addressable storage; Costs; Logic; Rails; Testing; Topology;
Conference_Titel :
Computer-Aided Design, 1988. ICCAD-88. Digest of Technical Papers., IEEE International Conference on
Conference_Location :
Santa Clara, CA, USA
Print_ISBN :
0-8186-0869-2
DOI :
10.1109/ICCAD.1988.122471
