Symbolic analysis of switch-level circuits.
Tesis doctoral de LLuis Ribas Xirgo La verificacion de circuitos mediante tecnicas simbolicas permite reducir el numero de pasos hacia […]
Tesis doctoral de Roman Hermida Correa
Información academica Roman Hermida Correa. Tesis donde Roman Hermida Correa ha sido autor, director o parte del tribunal.
Contribucion a la especificacion de aspectos no funcionales de sistemas hardware-software.
Tesis doctoral de Luis Sanchez Fernandez El codiseño hardware-software es una disciplina para el diseño de sistemas embebidos aparecida recientemente,
Integracion de planificacion temporal y asignacion de recursos hardware en sintesis de alto nivel.
Tesis doctoral de Moreno Vozmediano Rafael Aurelio El objetivo fundamental de este proyecto investigador es el desarrollo de una metodología
Desarrollo de un sistema inteligente para sintesis de comportamiento. aplicacion al co-diseño hardware/software.
Tesis doctoral de Pedro Tabuenca Dopico Esta tesis doctoral desarrolla nuevas tecnicas de sintesis de alto nivel que permiten una
High-level and logic synthesis techniques for low power.
Tesis doctoral de Enric Musoll Cinca Las empresas de diseño y fabricacion de circuitos integrados dedican cada vez mas esfuerzos
Diseño formal orientado a hardware de sistemas telematicos: de lotos a vhdl.
Tesis doctoral de Andres Marin Lopez En esta tesis se propone el uso de una metodología basada en los lenguajes
Simulacion de ecuaciones de onda no lineales sobre arquitecturas paralelas.
Tesis doctoral de Ignacio Martín Llorente El objetivo de la tesis es doble. En primer lugar, se realiza la simulacion
Arquitecturas tolerantes a fallos en aplicaciones espaciales.
Tesis doctoral de Daniel Meziat Luna Datos académicos de la tesis doctoral «Arquitecturas tolerantes a fallos en aplicaciones espaciales.«
Un sistema de asignacion de hardware para la sintesis de alto nivel
Tesis doctoral de Septien Del Castillo Julio El trabajo de investigacion que se expone en esta memoria consiste en el