Utilización de Unidades Funcionales Especulativas en Síntesis de Alto Nivel

222 Pages·2011·7.56 MB·Spanish

UNIVERSIDAD COMPLUTENSE DE MADRID

FACULTAD DE INFORMÁTICA

Departamento de Arquitectura de Computadores y Automática

TESIS DOCTORAL

Utilización de unidades especulativas en síntesis de
alto nivel

Using speculative functional units in high-level
synthesis

MEMORIA PARA OPTAR AL GRADO DE DOCTOR

PRESENTADA POR

Alberto Antonio del Barrio García

Directores

Mª Carmen Molina Prego
Román Hermida Corea
José Manuel Mendías Cuadros

Madrid, 2011

ISBN: 978-84-695-0991-3

© Alberto Antonio del Barrio García, 2011
Utilizaci(cid:243)n de Unidades
Funcionales Especulativas en
S(cid:237)ntesis de Alto Nivel
Using Speculative Functional Units in
High-Level Synthesis
Tesis Doctoral
Alberto Antonio Del Barrio Garc(cid:237)a
Departamento de Arquitectura de Computadores y AutomÆtica
Facultad de InformÆtica
Universidad Complutense de Madrid
2011

Utilizaci(cid:243)n de Unidades
Funcionales Especulativas en
S(cid:237)ntesis de Alto Nivel
Using Speculative Functional Units
in High-Level Synthesis
Tesis presentada por
Alberto Antonio Del Barrio Garc(cid:237)a
Departamento de Arquitectura de Computadores y
AutomÆtica
Facultad de InformÆtica
Universidad Complutense de Madrid
2011

Utilizaci(cid:243)n de Unidades Funcionales Especulativas
en S(cid:237)ntesis de Alto Nivel
Memoria presentada por Alberto Antonio Del Barrio Garc(cid:237)a para
optar al grado de Doctor por la Universidad Complutense de Madrid,
realizada bajo la direcci(cid:243)n de Da. MaCarmen Molina Prego, D. JosØ
Manuel Mend(cid:237)as Cuadros y D. RomÆn Hermida Correa
(Departamento de Arquitectura de Computadores y AutomÆtica,
Universidad Complutense de Madrid).
Using Speculative Functional Units in High-Level
Synthesis
Report presented by Alberto Antonio Del Barrio Garc(cid:237)a to the
Complutense University of Madrid in order to apply for the Doctor’s
degree. This work has been supervised by Ms. MaCarmen Molina
Prego, Mr. JosØ Manuel Mend(cid:237)as Cuadros and Mr. RomÆn Hermida
Correa (Computers Architecture and Automation Department,
Complutense University of Madrid).
Madrid, 2011
Este trabajo ha sido posible gracias a la Comisi(cid:243)n Interministerial de
Ciencia y Tecnologia, por las ayudas recibidas a travØs de los proyectos
CICYT TIN2005/5619 y CICYT TIN2008/00508
A Adela, Antonio y Ana Rosa
... y tambiØn a Sara

Agradecimientos
Para obrar, el que da debe olvidar
pronto, y el que recibe, nunca
SØneca
En la vida hay momentos buenos y momentos malos. Seguramente el
protocolo de este momento exige que deje de lado los malos momentos
y me acuerde de los buenos porque pesan mÆs, pero no ser(cid:237)a justo y es-
tar(cid:237)a mintiendo. Realmente terminar la Tesis justi(cid:28)ca esos malos momentos.
AdemÆs siempre he pensado que el protocolo es un invento mediocre que
encorseta al ser humano, nos (cid:28)jamos mÆs en la forma que en el contenido,
y bastantes formalismos tiene ya esta Tesis como para seguir el gui(cid:243)n en
algo tan subjetivo como los agradecimientos. Por ello, esta Tesis va dedicada
principalmente a toda esa gente que me ha apoyado en los momentos malos
yquehadepositadosutiempoycon(cid:28)anzaenm(cid:237)enlosmomentosdetrabajo
sucio, de esfuerzo de creaci(cid:243)n, de garabatos en papel, de veranos trabajan-
do para mandar al DATE, en (cid:28)n, de ese tipo de trabajo que no sale en los
papers.
En primer lugar, he de agradecer especialmente el esfuerzo realizado por
Dæa.Ma CarmenMolinaPrego,directoradeestaTesis,quienhacontribuido
a mis inicios como investigador, desde que era becario, y me ha guiado en la
escritura de los art(cid:237)culos y demÆs. Sus aportaciones e incesable interØs por
la S(cid:237)ntesis de Alto Nivel han sido fundamentales para mejorar mi capacidad
cr(cid:237)tica e iniciarme en la vida investigadora universitaria.
DeboagradecertambiØneltiempodedicadoporD.JosØManuelMend(cid:237)as
Cuadros, codirector de esta Tesis. Sus comentarios precisos y amplio cono-
cimiento sobre la S(cid:237)ntesis Conductual me han ayudado en la bœsqueda de
nuevas soluciones.
Tengo que expresar mi mÆs sincero agradecimiento a D. RomÆn Hermida
Correa, codirector de esta Tesis. Fue Øl quien me ofreci(cid:243) la posibilidad de
ser becario de colaboraci(cid:243)n cuando estaba terminando la carrera, y sin su
tiempoyvaliososcomentarioscient(cid:237)(cid:28)cosestonohabr(cid:237)asidoposible.Aprend(cid:237)
mucho cuando fue mi profesor de Arquitectura, he aprendido mucho de su
rigor cient(cid:237)(cid:28)co en el desarrollo de esta Tesis, y tengo la sensaci(cid:243)n de que
ix