Grupo de Ingeniería Microelectrónica

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. ... [+]

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]. ... [+]

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]. ... [+]

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.