DESARROLLO DE METODOLOGIAS PARA SINTESIS Y OPTIMIZACION DE CIRCUITOS LOGICOS MULTINIVEL

Autor: LANCHARES DAVILA JUAN
Año: 1994
Universidad: COMPLUTENSE DE MADRID
Centro de realización: DEPARTAMENTO: INFORMATICA Y AUTOMATICA PROGRAMA DE DOCTORADO: SISTEMAS INFORMATICO Y CIENCIAS DE LA COMPUTACION
Centro de lectura: FISICA
Director: SANCHEZ PEREZ JUAN MANUEL
Tribunal: VAQUERO SANCHEZ ANTONIO RAMON , AGUILLO LLOVER JORDI , TROYA LINEROS JOSE M. , GOMEZ VILDA PEDRO , RUZ ORTIZ JOSE JAIME
Resumen de la tesis

EL OBJETIVO DEL TRABAJO ES EL ESTUDIO DE LA SINTESIS LOGICA COMBINACIONAL MULTINIVEL USANDO LOS ALGORITMOS HEURISTICOS DEL "SIMULATED ANNEALING" Y LOS ALGORITMOS GENETICOS. UTILIZAMOS FUNCIONES DE COSTE BASADAS EN EL NUMERO DE LITERALES DE LA FUNCION LOGICA A OPTIMIZAR A LOS QUE POSTERIORMENTE AÑADIMOS ALGUNOS TERMINOS CORRECTORES. CASI TODOS LOS PROBLEMAS DE OPTIMIZACION LOGICA SON COMBINATORIOS, ES DECIR NOS SE PUEDE ENCONTRAR LA SOLUCION EN TIEMPOS RAZONABLES. LOS ALGORITMOS HEURISTICOS CONSIGUEN RESULTADOS APROXIMADOS EN TIEMPOS ACEPTABLES. ENTRE ESTE TIPO DE ALGORITMOS SE ENCUENTRAN EL SIMULATED ANNEALING Y LOS GENETICOS, QUE TIENEN EN COMUN EMULAR PROCESOS DE LA NATURALEZA. EL SIMULATED ANNEALING SE BASA EN CONSIDERACIONES TERMODINAMICAS EN LAS QUE EL ENFRIAMIENTO SE INTERPRETA COMO UN PROCEDIMIENTO DE OPTIMIZACION. LOS ALGORITMOS GENETICOS SE INSPIRAN EN PROCESOS DE BUSQUEDA Y SELECCION NATURAL QUE HACEN SOBREVIVAN LOS INDIVIDUOS MAS APTOS DE CADA ESPECIE. AMBOS ALGORITMOS UTILIZAN MECANISMOS DE BUSQUEDA ALEATORIA DIRIGIDOS A LA OBTENCION DE VALORES DECRECIENTES DE LAS FUNCIONES DE COSTE. EL SIMULATED ANNEALING DIRIGE SU BUSQUEDA MEDIANTE LA FUNCION DE DISTRIBUCION DE BOLTZMAN Y EL ALGORITMO GENETICO DIRIGE LA BUSQUEDA MEDIANTE MECANISMOS DE SELECCION, CRUCE Y MUTACION. AMBOS ALGORITMOS LOS HEMOS PROBADO SOBRE BANCOS DE PRUEBAS DEL INTERNATIONAL WORKSHOP ON LOGIC SYNTHESIS DEL AÑO 1993.
Materias relacionadas