Tesis doctoral de Manuel Martínez Pérez
En esta tesis se aborda la solución eficiente, desde el punto de vista computacional, de diversos problemas de codificación de símbolos que tienen lugar durante al etapa de síntesis lógica. En especial, se ha profundizado en el desarrollo de procedimientos heuristicos para las tareas de codificación que tienen conexión con el problema de confinamiento cúbico de grupos. en el trabajose proponen dos nuevas algoritmos para el problema de calificación de entradas orientado a la optimización del área: copas y picola, un algoritmo para el asignamiento de estados orientado a la optimización del área: picola-d, y un algoritmo para la codificación de estados orientado a la optimización del consumo: picola-low
Datos académicos de la tesis doctoral «Algoritmos de codificación binaria de simbolos para la sintesis lógica de circuitos integrados digitales.«
- Título de la tesis: Algoritmos de codificación binaria de simbolos para la sintesis lógica de circuitos integrados digitales.
- Autor: Manuel Martínez Pérez
- Universidad: Sevilla
- Fecha de lectura de la tesis: 27/11/2003
Dirección y tribunal
- Director de la tesis
- Avedillo De Juan M. Jose
- Tribunal
- Presidente del tribunal: Huertas diaz José Luis
- eduardo Boemo scalvinoni (vocal)
- jordi Cortadella fortuny (vocal)
- Antonio José Acosta jimenez (vocal)