Formulación del problema Justificación Propuesta de investigación Preguntas

Diseño e implementación de un procesador

especı́fico en un Field Programmable Gate
Array (FPGA) para la ejecución del algoritmo
de migración 2D usado en la sı́smica
exploratoria.

Universidad Industrial de Santander

Seminario II - Propuesta de Investigación

Sergio Alberto Abreo Carrillo

Director: MSc. Ana Beatriz Ramı́rez Silva
Co-Director: PhD. William Mauricio Agudelo Zambrano
Formulación del problema Justificación Propuesta de investigación Preguntas

Agenda

1 Formulación del problema

Formulación del problema Justificación Propuesta de investigación Preguntas

Agenda

1 Formulación del problema

2 Justificación
Formulación del problema Justificación Propuesta de investigación Preguntas

Agenda

1 Formulación del problema

2 Justificación

3 Propuesta de investigación
Objetivo General
Objetivos Especı́ficos
Alcances
Impactos
Metodologı́a
Cronograma
Presupuesto
Formulación del problema Justificación Propuesta de investigación Preguntas

Agenda

1 Formulación del problema

2 Justificación

3 Propuesta de investigación
Objetivo General
Objetivos Especı́ficos
Alcances
Impactos
Metodologı́a
Cronograma
Presupuesto

4 Preguntas
Formulación del problema Justificación Propuesta de investigación Preguntas

Formulación del problema

Durante la última década las empresas de la

industria del petróleo:
Han hecho grandes esfuerzos para optimizar las
técnicas de adquisición y procesamiento de
datos sı́smicos.
Debido a que este esfuerzo se refleja en un
incremento de las exploraciones anuales.
La migración sı́smica es una aplicación con un
gran costo computacional.
Este proceso puede durar desde unos cuantos
dı́as hasta semanas.
Formulación del problema Justificación Propuesta de investigación Preguntas

Formulación del problema

Tı́picamente dichas empresas para ejecutar el

proceso de migración sı́smica han usado:
Clústers de computadores.
Supercomputadores.
Actualmente una nueva alternativa ha surgido
Procesamiento especı́fico usando FPGAs.
Formulación del problema Justificación Propuesta de investigación Preguntas

Formulación del problema

El problema global es acelerar el proceso de

migración sı́smica.
La estrategia planteada es usar FPGAs para
acelerar el proceso.
Esta opción surge como consecuencia del buen
rendimiento del FPGA en diferentes aplicaciones.
Formulación del problema Justificación Propuesta de investigación Preguntas

Formulación del problema

El problema secundario es que el rendimiento del

FPGA varia según la aplicación.
El aporte de este proyecto de maestrı́a es
determinar el rendimiento real de esta nueva
alternativa cuando ejecuta el proceso de
migración.
Formulación del problema Justificación Propuesta de investigación Preguntas

Justificación

1 La aceleración del proceso de migración es

importante porque afecta el proceso de
exploración.
2 Determinar el rendimiento real del FPGA
cuando ejecuta el proceso de migración permite
evaluar esta nueva opción.
3 Si los resultados son favorables surge una nueva
alternativa para acelerar el proceso de migración.
Formulación del problema Justificación Propuesta de investigación Preguntas

Objetivo General

Diseñar e implementar un procesador piloto en un

Field Programmable Gate Array (FPGA) que
permita la ejecución del algoritmo de migración 2D
usado en la sı́smica exploratoria sobre un conjunto
de datos sintéticos.
Formulación del problema Justificación Propuesta de investigación Preguntas

Objetivos Especı́ficos

Identificar las caracterı́sticas más importantes

del algoritmo de migración sı́smica 2D
pre-apilado en tiempo de Kirchhoff.

Diseñar e implementar los módulos de las

operaciones de punto flotante de acuerdo a las
necesidades del algoritmo de migración sı́smica
2D pre-apilado en tiempo de Kirchhoff.
Formulación del problema Justificación Propuesta de investigación Preguntas

Objetivos Especı́ficos

Elaborar el Datapath que permita realizar el

proceso de migración sı́smica 2D pre apilado en
tiempo de Kirchhoff.

Diseñar la máquina de estados que controle el

flujo de datos sobre el Datapath y permita
realizar el proceso de migración sı́smica 2D pre
apilada en tiempo de Kirchhoff.
Formulación del problema Justificación Propuesta de investigación Preguntas

Objetivos Especı́ficos

Verificar el correcto funcionamiento del

procesador piloto usando un grupo de datos
sintéticos.
Formulación del problema Justificación Propuesta de investigación Preguntas

Alcances

Obtener un esquema que permita identificar:1

La dependencia y flujo de datos.
El formato y la precisión de los datos.
Las etapas que conforman el proceso de
migración.

1
Identificar las caracterı́sticas más importantes del algoritmo de migración sı́smica 2D pre-apilado en tiempo
de Kirchhoff.
Formulación del problema Justificación Propuesta de investigación Preguntas

Alcances

Obtener:2
Los módulos de las operaciones de punto
flotante que cumplan con las exigencias del
proceso.
La verificación del correcto funcionamiento de
los módulos.
La implementación de los mismos.

2
Diseñar e implementar los módulos de las operaciones de punto flotante de acuerdo a las necesidades del
algoritmo de migración sı́smica 2D pre-apilado en tiempo de Kirchhoff.
Formulación del problema Justificación Propuesta de investigación Preguntas

Alcances

Obtener:3
El esquema del camino de datos.
Los módulos adicionales que sean necesarios.
La descripción en Hardware del esquema usando
los módulos.
La simulación del funcionamiento del esquema
descrito.
Obtener:4
El diagrama de la máquina de estados.
La descripción en hardware del diagrama.
3
Elaborar el Datapath que permita realizar el proceso de migración sı́smica 2D pre apilado en tiempo de
Kirchhoff.
4
Diseñar la máquina de estados que controle el flujo de datos sobre el Datapath y permita realizar el proceso
de migración sı́smica 2D pre apilada en tiempo de Kirchhoff.
Formulación del problema Justificación Propuesta de investigación Preguntas

Alcances

Obtener:5
Módulo que contenga al Power Pc usando el
puerto ethernet por medio de un sistema
operativo.
Módulo que permita interactuar al Power Pc con
el procesador piloto.
Un informe que presente el rendimiento del
procesador piloto cuando ejecuta la migración.

5
Verificar el correcto funcionamiento del procesador piloto usando un grupo de datos sintéticos.
Formulación del problema Justificación Propuesta de investigación Preguntas

Impactos

Impactos cientı́ficos y tecnológicos del proyecto

Documentación del uso de esta nueva tecnologı́a
para acelerar procesos sı́smicos, de los resultados
obtenidos y de las estrategias usadas para el
desarrollo de este procesador piloto.6
Fortalecimiento de las habilidades para el
desarrollo de procesadores especı́ficos usando
como plataforma de trabajo los FPGAs.7

6
Registro y documentación técnica del Know-How
7
Desarrollo de capacidades de diseño en la Universidad o Grupo de Investigación
Formulación del problema Justificación Propuesta de investigación Preguntas

Impactos

Impactos cientı́ficos y tecnológicos del proyecto

Se consolidará el grupo de Conectividad y
Procesamiento de Señales a través de su lı́nea
estratégica de sistemas embebidos.8
Fortalecimiento de la infraestructura de los
laboratorios de digitales de la escuela.9

8
Desarrollo o consolidación de Grupos de Investigación
9
Dotación de laboratorios de investigación, de calidad y plantas piloto
Formulación del problema Justificación Propuesta de investigación Preguntas

Impactos

Impactos cientı́ficos y tecnológicos del proyecto

Fortalecimiento de las relaciones con el sector
productivo (Instituto Colombiano del Petróleo -
Universidad Industrial de Santander).10
Consolidar la capacidad de diseño de soluciones
especı́ficas para el sector productivo.11

10
Desarrollo de redes de información y colaboración cientı́fico-tecnológico
11
Mejoramiento en la oferta de servicios tecnológicos
Formulación del problema Justificación Propuesta de investigación Preguntas

Metodologı́a

Obtención y estudio del código fuente.

Revisión del estandart IEEE 754 y metodologı́a
cordic.
Elaboración, implementación y simulación de los
módulos de punto flotante.
Diseño, descripción y simulación del camino de
datos.
Formulación del problema Justificación Propuesta de investigación Preguntas

Metodologı́a

Mejora del camino de datos.

Diseño, descripción y simulación de la máquina
de estados.
Interconexión del datapath con la máquina de
estados.
Adquisición de los datos sintéticos de prueba.
Formulación del problema Justificación Propuesta de investigación Preguntas

Metodologı́a

Implementación de un S.O. sobre el Power Pc

para usar el puerto ethernet.
Elaboración de un módulo que permita la
interacción entre el procesador piloto y el Power
Pc.
Medición del rendimiento del FPGA usando los
datos sintéticos de prueba.
Formulación del problema Justificación Propuesta de investigación Preguntas

Cronograma

Duración 8,43 semanas.

ID Lista de actividades
1 Objetivo general.
2 Primer objetivo especı́fico.
3 Obtención del código fuente.
4 Identificación de las etapas del proceso de migración sı́smica 2D.
5 Determinación del flujo y la dependencia de datos.
6 Identificación del formato de los datos.
7 Identificación de las operaciones matemáticas.
Formulación del problema Justificación Propuesta de investigación Preguntas

Cronograma

Duración 9,1 semanas.

ID Lista de actividades
8 Segundo objetivo especı́fico.
9 Revisión del estándar IEEE 754.
10 Revisión de la metodologı́a Cordic.
11 Realización de la descripción en hardware de los módulos para las
operaciones de punto flotante.
12 Simulación y verificación del correcto funcionamiento de los módulos
de las operaciones de punto flotante.
13 Determinar el rendimiento del módulo usando el sistema de desarrollo.
Formulación del problema Justificación Propuesta de investigación Preguntas

Cronograma
Duración 8,67 semanas.

ID Lista de actividades
14 Tercer objetivo especı́fico.
15 Diseño del esquema de flujo de datos del proceso de migración.
16 Elaboración de la descripción en hardware de los módulos adicionales.
17 Realización de la descripción en hardware del esquema de flujo de
datos que usa todos los módulos.
18 Simulación y verificación del correcto funcionamiento del primer
esquema del Datapath.
19 Mejora del esquema diseñado.
20 Realizar la descripción en hardware del nuevo esquema.
21 Simulación del nuevo esquema.
22 Seleccionar mediante la comparación de desempeños el mejor esquema.
Formulación del problema Justificación Propuesta de investigación Preguntas

Cronograma

Duración 3 semanas.

ID Lista de actividades
23 Cuarto objetivo especı́fico.
24 Diseño de la máquina de estados de acuerdo al flujo de datos del programa
25 Simulación y verificación del correcto funcionamiento de la máquina
de estados.
26 Interconexión de la máquina de estados con el Datapath para
verificar el funcionamiento conjunto.
Formulación del problema Justificación Propuesta de investigación Preguntas

Cronograma
Duración 10,43 semanas.

ID Lista de actividades
27 Quinto objetivo especı́fico.
28 Adquisición de los datos sintéticos de prueba.
29 Uso del Power PC.
30 Implementación de un sistema operativo sobre el Power PC que
permita usar el puerto Ethernet.
31 Elaboración de un bus de comunicaciones que permita la interacción
entre el PPC y el procesador piloto.
32 Pruebas de comunicación entre el procesador piloto y el Power PC.
33 Medición del rendimiento del FPGA usando las trazas de ejemplo.
Formulación del problema Justificación Propuesta de investigación Preguntas

Cronograma

Duración 8,8 semanas.

ID Lista de actividades
34 Elaboración del libro.

Para un total de 48,43 semanas.

Inicio: marzo/02/2009.
Finalización: Febrero/04/2010.
Formulación del problema Justificación Propuesta de investigación Preguntas

Presupuesto

Presupuesto Global por Fuentes de Financiación

Contrapartida.
Rubros ICP Universidad Total
Efectivo Especie Efectivo Especie
Personal. 57.296.400 4.992.060 —– 9.003.720 71.292.180
Compra de equipos. 8.000.000 —- —– 9.828.000 17.828.000
Insumos de oficina. —– —– —– 1.000.000 1.000.000
Bibliografı́a (Libros). —– 1.000.000 —– 1.000.000 2.000.000
65.296.400 5.992.060 —– 20.831.720
Total. 92.120.180
71.288.460 20.831.720
Formulación del problema Justificación Propuesta de investigación Preguntas

Preguntas
Formulación del problema Justificación Propuesta de investigación Preguntas

Presupuesto

Gastos de Personal
Nombres Tı́tulo Dedicación No. De Fuentes
Función Total
y Formación Posgrado Horas/ meses Empresa Universidad.
apellidos Básica semana ICP
William Co- 4.992.060 —- 4.992.060
Ing. Ph.D.
Mauricio investigador 2 12
Agudelo
Zambrano
Ana Ing. MSc. Co- 4 12 —- 9.003.720 9.003.720
Beatriz investigador
Ramı́rez
Silva
Sergio Ing. Investigador 40 12 57.296.400 —- 57.296.400
Alberto Principal
Abreo
Carrillo
TOTAL 62.288.460 9.003.720 71.292.180
Formulación del problema Justificación Propuesta de investigación Preguntas

Presupuesto
Equipos
Justificación de su Fuentes
Descripción Cantidad Total
uso dentro del ICP Universidad
proyecto.
Virtex 5 FXT FPGA 1 Sistema de desarrollo de xilinx 7.527.500 —- 7.527.500
ML 507 Evaluation sobre el que se elaborará el
Platform procesador piloto

Platform Cable USB 2 1 Cable que permite la 472.500 —– 472.500

Ise Foundation Software
programación del sistema de
desarrollo
1 Licencia para poder realizar la —- 7.329.000 7.329.000
descripción en hardware del
procesador piloto sobre el
sistema de desarrollo.

ChipScope Pro Tool 1 Licencia que permite verificar —- 1.459.500 1.459.500

el comportamiento dentro del
FPGA del procesador piloto.

EDK 1 Licencia que permite usar el —- 1.039.500 1.039.500

procesador Power PC para las
comunicaciones del procesador
piloto.

TOTAL 8.000.000 9.828.000 17.828.000