Issue No. 01 - January (1975 vol. 24)
F.M. Brown , Department of Electrical Engineering, University of Kentucky
Given a combinational output function f and an input constraint f = 0, there is a set G( f, f) of output functions equivalent to f with respect to f. A function belongs to G( f, f), that is, provided its evaluations agree with those of f for all argument combinations satisfying the constraint f = 0. We define the constrained-input problem as that of generating G( f, f), given f and f. A general solution for this problem is developed. Applications to the "don't-care" problem and to translator synthesis are discussed.
Boolean algebra, Boolean equations, functional decomposition, input constraints.
F. Brown, "The Constrained-Input Problem," in IEEE Transactions on Computers, vol. 24, no. , pp. 102-106, 1975.