Accession Number : AD0657760

Title :   MINIMIZATION OF BOOLEAN FUNCTIONS CONTAINING ARBITRARY PARAMETERS.

Descriptive Note : Technical rept.,

Corporate Author : TEXAS UNIV AUSTIN LABS FOR ELECTRONICS AND RELATED SCIENCE RESEARCH

Personal Author(s) : Kirsch,Kenneth E. ; Roth,Charles H. , Jr

Report Date : 21 AUG 1967

Pagination or Media Count : 76

Abstract : Design of flip-flop input networks, realization of incompletely specified state tables, design of asynchronous sequential networks, state assignment, and other logic design problems can lead to Boolean functions which contain arbitrary parameters. These parameters are a generalization of don't care conditions and may be assigned arbitrary values so as to minimize the cost of realizing the functions. A modification of the Quine-McCluskey procedure permits minimization of arbitrary parameter functions. A prime implicant list is developed in terms of the parameters and is used to derive a conditional prime implicant chart. Minimum solutions are obtained from this chart by a modified Petrick method or by branching. A second method for minimizing arbitrary-parameter functions treats a function of m parameters and n variables as an (m+n)-variable function. The prime implicants of this function are derived by iterated consensus and then modified to obtain the conditional prime implicant chart. Both methods have been generalized to the multiple-output case. (Author)

Descriptors :   (*SPECIAL FUNCTIONS(MATHEMATICAL), OPTIMIZATION), (*COMPUTER LOGIC, SPECIAL FUNCTIONS(MATHEMATICAL)), RELAXATION OSCILLATORS, ITERATIONS, DESIGN, MATHEMATICAL ANALYSIS

Subject Categories : Numerical Mathematics

Distribution Statement : APPROVED FOR PUBLIC RELEASE