Un nuevo procedimiento para la minimización and-exor y su paralelización en sistemas de memoria distribuida

Resumen

En los ultimos años ha surgido un gran interes por la realizacion de circuitos logicos utilizando sintesis and-exor debido a que, en general, este tipo de circuitos requieren menor numero de puertas que los and-or para su realizacion, y a una serie de trabajos que indican que el test de estructuras and-exor resulta mas simple. Este hecho es especialmente relevante en el diseño de circuitos integrados vlsi por la gran importancia y complejidad que presenta el proceso del test en tales circuitos, y en implementaciones con fpgas, donde se consigue un gran ahorro de puertas frente a la sintesis and-or. Las interesantes propiedades de la logica and-exor son conocidas desde hace cierto tiempo, pero no han podido ser aprovechadas hasta la actualidad por dos inconvenientes que presentaba este tipo de sintesis: a) la puerta exor requeria mayor area que la or para su integracion. B) no existia un procedimiento de minimizacion and-exor que proporcionara resultados satisfactorios en un tiempo razonable. La cuestion a) se ha resuelto con los avances en la tecnologia de fabricacion de circuitos integrados, y queda totalmente eliminada si se utilizan dispositivos programables del tipo pla o fpga. El inconveniente b) no se encuentra resuelto, aunque la disponibilidad de ordenadores con mayor capacidad de procesamiento y memoria esta permitiendo grandes avances en este terreno. En esta tesis se desarrolla una solucion a la cuestion b) basada en un nuevo planteamiento de la minimizacion and-exor como problema de optimizacion combinatoria. El procedimiento de minimizacion desarrollado, a diferencia de los demas que aparecen en la literatura, utiliza un algoritmo no determinista como es el enfriamiento simulado para controlar la aplicacion de un conjunto de reglas de reescritura sobre las funciones a minimizar. La utilizacion de un metodo no determinista permite decidir que calidad de la solucion se va a obtener segun el tiempo de ejecu