2002 · 32 citations · 11 references
ComputingComputer EngineeringComputer ScienceAlgorithmsOptimizationTheory Of ComputationBoolean AlgebraBoolean OperationsLogic SynthesisBoolean Circuit EvaluationBoolean Function MinimizationBoolean Function RepresentationBoolean FunctionsBoolean MinimizationCircuit MinimizationInput VariablesMinimization Of Boolean Functions
A cube operation, EXORLINK, and its application to the minimization of multiple-valued input, multi-output exclusive sums of products (ESOPs) for incompletely specified Boolean functions, are presented. EXORLINK generalizes all cube operations, such as crosslink, unlink, and X-merge. The authors' program, EXORCISM-MV-2, gives efficient results for functions that are incompletely specified and have an arbitrary number of values for each of the input variables. This allows realization of a wider class of circuits that implement the multiple-valued input ESOP expressions. Evaluation on benchmark functions is also given and proves the superiority of the program to those known from the literature.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
11
Logic Testing and Design for testability
Computer-Aided Design · 1986 · 324 citations
Logic design of digital systems
Ramachendra P. Batni · Journal of the Franklin Institute · 1974 · 69 citations