Grupo de Ingeniería Microelectrónica

Grupo de Ingeniería Microelectrónica

Departamento de Tecnología Electrónica, Ingeniería de Sistemas y Automática Universidad de Cantabria
Home   Personas   Investigación   Docencia   Doctorado   Publicaciones   Herramientas   Bolsa de Empleo   english version Tue 19-Mar-24 . 07:03



Mapa Web


Localización

Noticias

Info Santander



Gestión BD

GIM>Investigación>Diseño y verificació...
LINEA DE INVESTIGACION:
 Diseño y verificación de sistemas embebidos HW/SW
   Seguir estos links para ver los PROYECTOS o PUBLICACIONES dentro de esta línea de investigación
 
PERSONAS:
Eugenio Villar (Responsable de esta línea de investigación)
Víctor Fernández
Pablo Pedro Sánchez
Iñigo Ugarte
Héctor Posadas
Javier Barreda
Patricia Botella
Gerardo Caballero
Daniel Calvo
Luis Diaz
Álvaro Díaz
Raúl Diego
Pablo González
Fernando Herrera
Pablo Peñil
Sara Real
Roberto Varona
CAMPOS DE TRABAJO:
Diseño de sistemas embebidos HW/SW

El diseño de Sistemas Embebidos HW/SW es una de las actividades principales del grupo en la actualidad. En este campo, la línea de investigación más significativa es el modelado y análisis de prestaciones de sistemas embebidos HW/SW. ... [+]

Especificación de sistemas embebidos

Uno de los problemas que centra nuestra actividad en la actualidad lo constituye la especificación del sistema para su análisis y co-diseño posterior. Esta línea arrancó con un estudio general de los requerimientos exigibles a un lenguaje de especificación para co-diseño. El estudio incluía un análisis de Ada como lenguaje de especificación y su traslación a VHDL para síntesis hardware [LVSV97][ViVe98][ViDe98][ViLo99][LVV99], el estudio de las ventajas aportadas por la reusabilidad a este nivel [HSUV99] y el análisis comparativo de varios lenguajes realizado sobre un mismo "benchmark" [GMN00]. ... [+]

Verificación de sistemas embebidos

Como se ha comentado previamente, esta línea de investigación nace de la experiencia adquirida en el desarrollo de técnicas de síntesis para test y esta fuertemente ligada con otras líneas de investigación del grupo, como las de especificación y co-diseño de sistemas embebidos. En este sentido se han desarrollado varios "planes de verificación" en proyectos de diseño [UgSV02][BCHP03a][BCHP03b]. ... [+]

Actividades anteriores en Diseño VHDL

La experiencia del Grupo en Lenguajes de Descripción de Hardware arranca en 1982 con el estudio y utilización en diseño y verificación de circuitos electrónicos de lenguajes de descripción hardware como AHPL, DDL e ISPS. Desde principios de los 90, el lenguaje utilizado por el Grupo es VHDL.

© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster