Sintesis formal de alto nivel por derivacion automatica. aspectos teoricos, metodologicos y practicos.
Tesis doctoral de Mendias Cuadros José Manuel El objetivo de esta investigación es, por un lado, desarrollar las bases teóricas […]
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.
Asignacion testable de hardware en sintesis de alto nivel.
Tesis doctoral de Katzalin Olcoz Herrero En el presente trabajo proponemos un metodo para la sintesis de alto nivel de
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
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