Tesis doctoral de Sergio López Buedo
La verificación térmica es una técnica cada vez más útil en el mundo de las fpgas (field-programmable gate arrays). Varias son las razones para esta afirmación: la creciente capacidad de los dispositivos lógicos programables, el aumento de la complejidad y del consumo de los circuitos que se implementan en ellos, y la aparición de nuevos estilos de diseño, como la reconfiguración en tiempo de ejecución. En esta tesis se han estudiado diferentes posibilidades para integrar sensores de temperatura en fpgas: osciladores en anillo, diodos de enclavamiento y osciladores dedicados, embebidos por el fabricante de los dispositivos. Se ha realizado una experimentación exhaustiva, y se ha desarrollado una metodología para la operación y el calibrado que elimina el problema de autocalentamiento. De todos los sensores, los osciladores en anillo han resultado ser la mejor opción: son pequeños y sencillos, se pueden implementar en cualquier posición del chip y en cualquier dispositivo programable, tienen muy buena linealidad y una buena sensibilidad, del orden de 0,2% por ºc. Empleando esta técnica, se ha creado un sensor de temperatura para arquitecturas reconfigurables en tiempo de ejecucción, que pude ser dinámicamente insertado y eliminado de la fpga, sin alterar el funcionamiento del resto del circuito. Adicionalmente, se ha desarrollado un método que minimiza la mayor desventaja de los osciladores en anillo: su sensibilidad a las variaciones en la tensión de alimentación. Por útlimo, se ha demostrado que con esta técnica es posible realizar mapas térmicos de fpgas en condiciones reales de funcionamiento, una aplicación inédita, imposible de realizar con las herramientas disponibles hasta el momento. entre sus principales utilidades figuran la detección de zonas calientes dentro del circuito, la cuantificación de la eficacia de una determinada opción de refrigeración, la detección de errores por reconfiguración o
Datos académicos de la tesis doctoral «Técnicas de verificación térmica para arquitecturas dinámicamente reconfigurables«
- Título de la tesis: Técnicas de verificación térmica para arquitecturas dinámicamente reconfigurables
- Autor: Sergio López Buedo
- Universidad: Autónoma de Madrid
- Fecha de lectura de la tesis: 27/06/2003
Dirección y tribunal
- Director de la tesis
- Eduardo Boemo Scalvinoni
- Tribunal
- Presidente del tribunal: Juan josé Serrano martín
- josep Rius vazquez (vocal)
- eduardo Sánchez (vocal)
- Javier Valls coquinat (vocal)