Tesis doctoral de Juan Lanchares Davila
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.
Datos académicos de la tesis doctoral «Desarrollo de metodologías para sintesis y optimizacion de circuitos logicos multinivel«
- Título de la tesis: Desarrollo de metodologías para sintesis y optimizacion de circuitos logicos multinivel
- Autor: Juan Lanchares Davila
- Universidad: Complutense de Madrid
- Fecha de lectura de la tesis: 01/01/1995
Dirección y tribunal
- Director de la tesis
- Juan Manuel Sánchez Pérez
- Tribunal
- Presidente del tribunal: Antonio Ramón Vaquero Sánchez
- José María Troya Linero (vocal)
- Jordi Aguillo Llover (vocal)
- Pedro Gómez Vilda (vocal)