Resumen de Un método de minimización del coste de síntesis de circuitos combinacionales utilizando el método de resolución de S.E.B. de Tapia & Tucker
- español
En este trabajo se aborda el problema de la síntesis de funciones de commutación multisalida e incompletas, a partir de una biblioteca de módulos cualesquiera. Se describe la implementación de un método de minimización del coste de un circuito combinacional, que actúa directamente sobre la fórmula paramétrica que engloba todas las soluciones de un S.E.B. obtenida por el método de resolución de Tapia & Tucker, y se señalan las ventajas de este método sobre métodos anteriores.
- English
In this paper we dealt with the problem on synthetizing multi-outputs and incompletes switching functions, using a library of modules. A method to minimize the cost of a combinational circuits has been implemented. This method acts directly of the parametric formula of all solutions of a boolean equations system (B.E.S.). The B.E.S. models the circuit to be implemented. The parametric formula is obtained from the Tapia & Tucker method for solving B.E.S.
