Verificación de sistemas
|
|
- José Carlos Silva Torres
- hace 5 años
- Vistas:
Transcripción
1 PRESENTACIÓN Verificación de sistemas HW-SW Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 1 ÍNDICE Introducción Tipos de verificación Cosimulación Verificación formal Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 2
2 Introducción Definiciones La verificación es el proceso que permite determinar si un sistema funciona de acuerdo con las especificaciones. Asegura que el diseño cumple las especificaciones funcionales y temporales para cada nivel de abstracción. Se aplica después de cualquier etapa de integración, transformación o refinamiento. Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 3 Introducción Definiciones SINTESIS DEL SOFTWARE Particionado HW-SW SINTESIS DEL HARDWARE Especificación software de alto nivel Especificación hardware de alto nivel Integración y verificación Compilador Compilador Código en lenguaje de alto nivel Descripción hardware sintetizable Integración y Compilador verificación Sintetizador Código objeto Código HW sintetizado Integración y verificación Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 4
3 Tipos de verificación Simulación Se utilizan modelos matemáticos de los componentes del sistema. El resultado de la simulación es función del modelo y de los vectores de test (estímulos) introducidos al mismo. Se realiza en cualquier nivel de abstracción Valido para simulaciones funcionales y temporales Tipos de simuladores para sistemas digitales: Basados en HDLs: dirigidos por eventos y basados en ciclo. Basados en esquemas: a nivel de sistema o a nivel de puertas. Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 5 Tipos de verificación Simulación Simulación dirigida por eventos: Evento: cambio en el valor lógico de un nodo y el instante de tiempo en el que se produce. Sólo considera los nodos activos (con eventos): Utiliza una rueda de tiempo para gestionar las relaciones entre los componentes: Lista de todos los eventos no procesados todavía y ordenados en el tiempo Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 6
4 Tipos de verificación Simulación a b D=2 d 1 0 c 3 D=1 e e(4)=0 e(6)=1 b(1)=1 d(5)=1 d(5)=1 c(3)=0 d(5)=1 d(5)=1 Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 7 Tipos de verificación Simulación Simulación basada en ciclo: Tiene en cuenta que la mayoría de los sistemas digitales son síncronos. Sólo se evalúa en los flancos de la señal de reloj. Es más rápida que la conducida por eventos pero más inexacta: no detecta glitches. Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 8
5 Tipos de verificación Verificación formal Demostración matemática de que: Una especificación cumple una serie de propiedades: chequeo del modelo Dos descripciones a diferentes niveles de abstracción son equivalentes: chequeo de equivalencias. La más utilizada. Verifica la funcionalidad sin vectores de test. Simulación vs verificación formal: El grado de confianza en la simulación depende de los vectores de test seleccionados. Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 9 Tipos de verificación Análisis temporal estático Análisis topológico del circuito que extrae las propiedades temporales y su impacto en el retardo No precisa de vectores de test Entradas: netlist, modelos del librerías de celdas y restricciones (periodo de reloj, skew, tiempos de setup y hold...) Salidas: retardo a través de la lógica combinacional. Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 10
6 Tipos de verificación Emulación y prototipado Emulación: funcional Mapea el diseño en los componentes HW (generalmente sobre FPGAS) del emulador y analiza la respuesta a estímulos que pueden proceder del entorno físico. Prototipado: funcional Se construye una implementación HW del diseño. Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 11 Cosimulación Definiciones La cosimulación se define como la simulación de sistemas HW- SW de forma conjunta. La sincronización deber ser fiable para que interactúen como lo harían en el diseño final. Figuras de mérito: exactitud y rendimiento: Exactitud:definida por la complejidad de los modelos y el número de estímulos. Rendimiento: tiempo bajo test. Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 12
7 Cosimulación Problema Problema: cómo simular componentes HW-SW a la vez? Dificultades: Se utilizan diferentes plataformas para la simulación El SW se simula a mayor velocidad que el HW: problema con la sincronización. Aproximaciones: se utiliza un simulador HW para simular un modelo HDL del procesador junto con el modelo HDL del HW. Diferentes resultados en función del modelo del procesador. Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 13 Cosimulación Aproximaciones Modelo del procesador a nivel de puertas. Simulador de VHDL Modelo a nivel de puertas (VHDL) Software Simulador de VHDL Modelo del HW (VHDL) Demasiado lenta debido a la complejidad del modelo Se trata de la alternativa más exacta. Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 14
8 Cosimulación Aproximaciones Modelo funcional-bus del procesador: Simulador de VHDL Modelo funcionalbus (VHDL) Simulador de VHDL Programa ejecutandose en el host SW ejecutado por un modelo Modelo del HW (VHDL) El modelo HW del procesador sólo contempla la interfaz El SW se ejecuta sobre un modelo de simulación del procesador Es más rápido pero menos exacto que el anterior. Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 15 Modelo ISA del procesador: Cosimulación Aproximaciones Programa ejecutandose en el host Modelo (C) Software Simulador de VHDL Modelo del HW (VHDL) No existe modelo HW del procesador. El SW se ejecuta sobre el modelo. La exactitud de la simulación depende de la interface (tiempos) Alternativa más rápida. Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 16
9 Modelo basado en traslación. Cosimulación Aproximaciones Programa ejecutandose en el host Software compilado en el código nativo del procesador Simulador de VHDL Modelo del HW (VHDL) No existe modelo HW del procesador. La ejecución del SW proporciona la información de la interfaz necesaria para la cosimulacion. Alternativa más rápida cuya exactitud depende de la información de la interfaz. Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 17 Cosimulación Acoplo entre dominios En las aproximaciones donde el SW se simula ejecutándolo en el host, este debe interactuar con el simulador HW. Problemas: Exactitud de la información temporal proporcionada por la interfaz. Acoplo de los dos dominios con la sincronización necesaria. Se emplean fundamentalmente dos esquemas de sincronización: El modo maestro-esclavo y el modo distribuido. Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 18
10 Cosimulación Modo maestro-esclavo esclavo El entorno de cosimulación necesita un simulador maestro y uno o más esclavos. Los simuladores esclavos se invoca utilizando técnicas como llamadas a procedimientos. La mayoría de los simuladores proporcionan un modo básico para invocar funciones en C. Por ejemplo, desde VHDL utilizando atributos permite que partes del código se puedan representar en otros lenguajes. Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 19 Cosimulación Modo maestro-esclavo esclavo Limitación importante: el módulo esclavo no puede trabajar concurrentemente con el maestro En el caso de cosimulación C-VHDL implica que el módulo en C no puede mantener el estado interno entre dos llamadas. El caso de sistemas dominados por control el problema se acentúa Conclusión: el programa en C deber estructurado para solventar las limitaciones anteriores. Estructuración en funciones. Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 20
11 Cosimulación Modo distribuido El modelo distribuido se basa en un protocolo de comunicación en red, el cual se usa como un bus software. Cada simulador se comunica con el bus de cosimulación a través de llamadas a procedimientos Para una especificación C-VHDL, esta estrategia permite mantener el código C en su formato original. Además el simulador VHDL y el programa en C pueden correr de forma concurrente. Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 21 Cosimulación Sistemas heterogéneos:otro enfoque Parte electrónica (SDL) Cosimulación 1 Parte mecánica (Matlab) Partición HW/SW Software (C) Hardware (VHDL) Cosimulación 2 Software Código binario Modelo C Hardware (Puertas) Cosimulación 3 C Memoria PROTOTIPO ASIC Mecánica Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 22
12 Verificación formal Introducción La verificación formal supera la simulación cuando es capaz de demostrar: El cumplimiento de ciertas propiedades en un circuito Que dos circuitos son equivalentes... sin utilizar estímulos. En la actualidad complementa pero no reemplaza a la simulación. Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 23 Concepto: Verificación formal Introducción Se puede demostrar con ecuaciones y sin estímulos que los dos circuitos son equivalentes. Cobertura completa:equivalente a una simulación exhaustiva f = ab(c+d) = abc + abd = g a b c d f = ab(c+d) a b c a b d g = abc+abd Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 24
13 Tipos de verificación formal: Verificación formal Verificación formal Tipos Chequeo de propiedades Chequeo de equivalencias Secuencial Combinacional Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 25 Verificación formal Tipos Otro criterio: especificación o implementación: Verificación de la especificación: Chequeo de propiedades a niveles de abstracción altos.p.e. Chequear bloqueos en protocolos. Verificación de la implementación: Chequear modelos a bajo nivel para comprobar si implementa el modelo de alto nivel correctamente o satisface algunas propiedades relativas a la implementación.p.e. Chequear si un algoritmo DSP procesa completamente todas las muestras. Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 26
14 Verificación formal Chequeo de equivalencias Tipos: Behavioral desc. RTL netlist Gate level netlist Trans. netlist Layout Behavioral desc. RTL netlist Gate level netlist Trans. netlist Layout Los mejores resultados se obtienen si: Los modelos son similares. Se comparan modelos más detallados. Pedro Martín Sánchez Departamento de Electrónica. Universidad de Alcalá 27
INTRODUCCIÓN A LOS CIRCUITOS INTEGRADOS
INTRODUCCIÓN A LOS CIRCUITOS INTEGRADOS Luis Entrena Arrontes Celia López Mario García Enrique San Millán Marta Portela Almudena Lindoso 1 Índice 1.1 Los circuitos integrados. Ventajas e inconvenientes
Más detallesIV. Metodologías de diseño de alto nivel
IV. Metodologías de diseño de alto nivel 2. Dominios de descripción (Gajski & Kuhn) 3. Metodología de diseño VHDL 4. Introducción al VHDL 5. Entity, Architecture Ley de Moore (Gordon Moore, 1964) la cantidad
Más detallesMicroelectrónica. Evolución de la tecnología
Microelectrónica Tema 5: Metodologías de Diseño Evolución de la tecnología l En 1965 Gordon E. Moore, cofundador de Intel enunció la que seconoce como Ley de Moore. l Ley de Moore: el nº de transistores
Más detallesIntroducción al Diseño Digital con FPGAs.
Introducción al Diseño Digital con FPGAs www.emtech.com.ar Temario del curso Dia 1: Introducción y ejemplo practico paso a paso Dia 2: VHDL, flujo de diseño y otro ejemplo Dia 3: Detalles de diseño e implementacion
Más detallesObjetivos. Instituto Tecnológico de Costa Rica Escuela de Ingeniería Electrónica I SEMESTRE 2007. Contenido del Curso EL FLUJO DE DISEÑO O DIGITAL
Objetivos OBJETIVO GENERAL Laboratorio de Diseño o de Sistemas Digitales EL-3312 Diseñar, simular, sintetizar e implementar sistemas digitales usando lenguajes de alto nivel para la descripción de hardware
Más detallesTEMA 1 FUNDAMENTOS DEL DISEÑO DEL HARDWARE DIGITAL
TEMA 1 FUNDAMENTOS DEL DISEÑO DEL HARDWARE DIGITAL 1.1. Introducción 1.2. Lenguajes para la descripción de hardware 1.3. Ciclo de diseño de los circuitos digitales 1.4. Tecnologías de circuitos integrados
Más detallesIntroducción a los Dispositivos Lógicos Programables (FPGAs) Guillermo Güichal
Introducción a los Dispositivos Lógicos Programables (FPGAs) Guillermo Güichal www.emtech.com.ar Temario Introducción Circuitos Digitales FPGAs Flujo y Herramientas de Diseño Diseño para Síntesis Simulación
Más detallesIntroducción TEMA 1 TECNOLOGÍA DE LOS CI. ME Tema 1 Lección 3 Aspectos generales sobre diseño microelectrónico 1
Introducción TEMA 1 TECNOLOGÍA DE LOS CI ME Tema 1 Lección 3 Aspectos generales sobre diseño microelectrónico 1 ESTRATEGIAS DE DISEÑO Jerarquía. Divide un módulo en submódulos y estos en otros hasta que
Más detallesPRACTICA 3. Lenguaje de descripción de hardware VHDL.
Lenguaje de descripción de hardware VHDL. Objetivo: El alumno analizara de que partes escenciales conta un codigo hecho atravez del lenguaje de descripcion de hardware VHDL, asi tambien que implica la
Más detallesIntroducción a los Dispositivos Lógicos Programables (FPGAs) Guillermo Güichal
Introducción a los Dispositivos Lógicos Programables (FPGAs) Guillermo Güichal www.emtech.com.ar Temario Introducción Circuitos Digitales FPGAs Flujo y Herramientas de Diseño Simulación CPUs con FPGA o
Más detallesSíntesis arquitectónica y de alto nivel
Síntesis arquitectónica y de alto nivel Módulo 1. Concepto y fases de la Síntesis de Alto Nivel 1 Diseño de circuitos: la complejidad Tratamiento de problemas de complejidad creciente Rápido desarrollo
Más detallesCapítulo 2: LENGUAJES DE DESCRIPCIÓN DE HARDWARE: VHDL
Capítulo 2: LENGUAJES DE DESCRIPCIÓN DE HARDWARE: VHDL Generalidades Ventajas e inconvenientes de los HDL s Características generales del VHDL Modelo del Hw Introducción al lenguaje VHDL Lenguajes de descripción
Más detallesconcepto y fases de la SAN
concepto y fases de la SAN Síntesis Arquitectónica y de Alto Nivel José Manuel Mendías Cuadros Dpto. Arquitectura de Computadores y Automática Universidad Complutense de Madrid diseño de circuitos: la
Más detallesIntroducción al CAD-EDA. Evolución del diseño electrónico Modelado de sistemas Lenguajes de descripción de hardware Metodologías y flujos de diseño
Introducción al CAD-EDA Evolución del diseño electrónico Modelado de sistemas Lenguajes de descripción de hardware Metodologías y flujos de diseño EVOLUCIÓN DEL DISEÑO ELECTRÓNICO. Años 70: Tecnologías
Más detallesIntroducción a LabVIEW FPGA. Juan Gil
Introducción a LabVIEW FPGA Juan Gil National Instruments Tecnología FPGA Bloques de Memoria Almacene conjuntos de datos o valores en RAM definida por el usuario Bloques de Lógica Configurables (CLBs)
Más detallesTEMA IV: SÍNTESIS HARDWARE
TEMA IV: SÍNTES HARDWARE Especificaciones Formato intermedio Partición HW/SW LA SÍNTES HARDWARE ES LA TAREA DE PASAR DE UN DOMINIO DE ABSTRACCIÓN A OTRO COMPORTAMIENTO -> ESTRUCTURA Código Implementación
Más detallesSistemas Digitales. Diseño lógico con Verilog. Sinopsis. Prólogo.
1 Sistemas Digitales. Diseño lógico con Verilog. Sinopsis. El texto está orientado a un primer curso de diseño lógico en programas de estudios de ingenieros eléctricos, electrónicos, telemáticos y de ciencias
Más detallesCuerpo de Profesores Técnicos de Formación Profesional
Tabla de equivalencias entre los temarios de Sistemas y Aplicaciones Informáticas de Profesores Técnicos de Formación Profesional e Informática del Cuerpo de Profesores de Enseñanza Secundaria Cuerpo de
Más detallesLabomat-Web. Laboratorio Web para prototipado y verificación de sistemas HW/SW. Gómez-Arribas F.J, González I, González J. y Martinez J.
Labomat-Web Gómez-Arribas F.J, González I, González J. y Martinez J. Laboratorio Web para prototipado y verificación de sistemas HW/SW Agenda Antecedentes y Motivación Plataforma Labomat3 y el proyecto
Más detallesUNIVERSITAT DE JOSÉ LUIS ORTIZ ARCINIEGA
UNIVERSITAT DE JOSÉ LUIS ORTIZ ARCINIEGA Obtener la amplitud real del pulso a partir de las muestras (7) digitales. Actualmente se Utiliza Optimal Filtering corriendo en Procesadores Digitales de Señal
Más detallesLaboratorio de Diseño de Sistemas Digitales
Proceso de Diseño Laboratorio de Diseño de Sistemas Digitales I Semestre 2008 Ing. Gabriela Ortiz L. Diseño Implementación Depuración Diseño: Concepto inicial. Cuál es la función que lleva a cabo el objeto?
Más detallesPLAN DE ESTUDIO UNS INGENIERÍA ELECTRÓNICA 2006 ASIGNATURAS ÁREA DIGITAL
PLAN DE ESTUDIO UNS INGENIERÍA ELECTRÓNICA 2006 ASIGNATURAS ÁREA DIGITAL 1º Cuat. 2º Cuat. 3º Cuat. 4º Cuat. 5º Cuat. 6º Cuat. 7º Cuat. 8º Cuat. 9º Cuat. 10º Cuat. 11º Cuat. 12º Cuat. Análisis Matemático
Más detallesÍndice. VHDL Lección 2.9 Máquinas de Estados Finitos (FSM) 1
Índice Introducción Niveles de abstracción del modelado con HDL Estilos descriptivos del modelado con HDL Ventajas y limitaciones de los HDLs El lenguaje VHDL Objetos, tipos de datos y operadores Unidades
Más detallesTema 2.- Caracterización de la informática La informática como disciplina científica Sub-áreas de la disciplina.
Tema 2.- Caracterización de la informática 2.1. La informática como disciplina científica. 2.2. Sub-áreas de la disciplina. 2.1. La informática como disciplina científica. 2.1.1 Una definición de Informática.
Más detallesProceso de diseño. Proceso de diseño. Escuela de Ingeniería Electrónica. Ing. José Alberto Díaz García. Introducción al lenguaje de programación VHDL
Página 1 PROCESO DE DISEÑO Sistema completo y complejo Difícil de analizar como un todo Podemos reconocer sub-problemas o maneras de particionarlo Página 2 Los subsistemas o bloques son más fáciles de
Más detallesBiblioteca de recursos. Descargado desde
Biblioteca de recursos Descargado desde www.rededuca.net Informática 1. Representación y comunicación de la información. 2. Elementos funcionales de un ordenador digital. 3. Componentes, estructura y funcionamiento
Más detallesPruebas de Software. Escuela de Ingeniería de Sistemas y Computación Desarrollo de Software II Agosto Diciembre 2008
Pruebas de Software Objetivos de las Pruebas Demostrar al desarrollador y al cliente que el software satisface los requerimientos. Descubrir defectos en el software en que el comportamiento de éste es
Más detallesLenguajes de Descripción de Hardware
Lenguajes de Descripción de Hardware Los lenguajes de descripción de Hardware (HDLS) son utilizados para describir la arquitectura y comportamiento de un sistema electrónico. VHDL VHDL, viene de VHSIC
Más detallesIEE 2712 Sistemas Digitales
IEE 2712 Sistemas Digitales Clase 6 Objetivos educacionales: 1. Saber aplicar el método de mapas de Karnaugh para 5 o más variables y para situaciones no-importa. 2. Conocer la implementación práctica
Más detallesPrefacio 25 Organización de la Unidad Didáctica Cómo utilizar el libro Objetivos docentes... 27
Prefacio 25 Organización de la Unidad Didáctica..................... 25 Cómo utilizar el libro.............................. 26 Objetivos docentes............................... 27 1. Fundamentos del diseño
Más detallesDispositivos Digitales. EL-611 Complemento de Diseño Lógico y. Dispositivos Digitales
EL-611 Complemento de Diseño Lógico y Objetivos y Evaluación Segundo Curso de Sistemas Digitales Complementar Materia Enfoque Diseños de Mayor Envergadura 1 Control + Examen y 6 Ejercicios (aprox.) Tareas
Más detallesDiseño de una arquitectura de Hardware para un modulador DTMB
Diseño de una arquitectura de Hardware para un modulador DTMB Ing. Reinier Díaz Hernández reinier@lacetel.cu 21 de febrero de 2016 1 de 21 RESUMEN Se presenta el diseño de una arquitectura para la implementación
Más detallesM. C. Felipe Santiago Espinosa
M. C. Felipe Santiago Espinosa Junio de 2008 Un sistema empotrado es un procesador, con sus elementos externos que desarrolla una función especifica de manera autónoma. Un sistema empotrado es un sistema
Más detallesPROYECTO DOCENTE CURSO: 2004/05
PROYECTO DOCENTE CURSO: 2004/05 14109 - DISEÑO DE CIRCUITOS INTEGRADOS PARA COMUNICACIONES ASIGNATURA: 14109 - DISEÑO DE CIRCUITOS INTEGRADOS PARA COMUNICACIONES CENTRO: Escuela Técnica Superior de Ingenieros
Más detallesMETODOLOGÍA PARA EL APRENDIZAJE DE SISTEMAS ELECTRÓNICOS DIGITALES Y SU DISEÑO
METODOLOGÍA PARA EL APRENDIZAJE DE SISTEMAS ELECTRÓNICOS DIGITALES Y SU DISEÑO E. Magdaleno, M. Rodríguez, A. Ayala, B. R. Mendoza y S. Rodríguez. Universidad de La Laguna emagcas@ull.es, mrvalido@ull.es,
Más detalles4.5. Procedimiento de síntesis
4.5. Procedimiento de síntesis En este apartado se resumen los pasos a seguir para completar la implementación de un sistema digital en un dispositivo programable: descripción del sistema mediante uno
Más detallesTema 1: Microelectrónica. Técnicas de implementación de CID
TÉCNICAS DE IMPLEMENTACIÓN DE CID FULL-CUSTOM SEMI-CUSTOM CONSTRUCCIÓN DEL ESQUEMÁTICO A NIVEL DE TRANSISTORES CONSTRUCCIÓN DEL LAYOUT CELDAS ESTÁNDARES MATRIZ DE PUERTAS DISPOSITIVOS PROGRAMABLES: FPGA
Más detallesProgramación Concurrente y Paralela. Unidad 1 Introducción
Programación Concurrente y Paralela Unidad 1 Introducción Contenido 1.1 Concepto de Concurrencia 1.2 Exclusión Mutua y Sincronización 1.3 Corrección en Sistemas Concurrentes 1.4 Consideraciones sobre el
Más detallesVHDL. Lenguaje de descripción hardware Introducción e historia
VHDL. Lenguaje de descripción hardware Introducción e historia 2007 A.G.O. All Rights Reserved s descriptivos y niveles de abstracción s descriptivos: Comportamiento Se realiza la función sin información
Más detallesMATERIA DE SIMULACION
NOMBRE DEL PROYECTO: Juego Asteroids MATERIA DE SIMULACION Fecha de elaboración: 24/11/17 Versión: 1.0 Grupo: 9F2B (9F2A) (9F2B) Proyecto: Individual Grupal Nombre del equipo: Space Participantes 1. Juan
Más detallesDiseño de Circuitos Integrados de Alta Escala Curso Académico 2009/2010
Diseño de Circuitos Integrados de Alta Escala Curso Académico 2009/2010 Programa de la Asignatura: 1. Introducción al Diseño de Circuitos Integrados en Alta Escala. 1.1. Complejidad 1.2. Modularidad 1.3.
Más detalles1. Escalabilidad de transacciones de un motor de búsqueda Web.
Enfoque Token 1. Escalabilidad de transacciones de un motor de búsqueda Web. 2. Simulador de aplicaciones sobre utilización de dispositivos móviles como unidades de procesamiento. Tabla ruteo Red 3G/4G
Más detallesFPGAs. Susana Borromeo Área de Tecnología Electrónica. Diseño de Sistemas Electrónicos. 2014/2015. Metodología de Diseño. Características generales
FPGAs Susana Borromeo Área de Tecnología Electrónica Esquema Conceptos generales Dispositivos Lógicos Programables FPGAs Metodología de Diseño VHDL Características generales VHDL Comportamental y Estructural
Más detallesPROYECTO DOCENTE ASIGNATURA: "Diseño Digital Avanzado"
PROYECTO DOCENTE ASIGNATURA: "Diseño Digital Avanzado" Grupo: Grp Clases Teoricas-Practicas Diseño Digital.(972840) Titulacion: Grado en Ingeniería Electrónica Industrial Curso: 2014-2015 DATOS BÁSICOS
Más detallesCapítulo 9. Implementación en VHDL y síntesis en FPGA
Capítulo 9 Implementación en VHDL y síntesis en FPGA El objetivo final del proyecto es implementar una selección de los métodos de estimación espectral descritos en el equipo final de resonancia magnética,
Más detallesInteracción Persona - Ordenador
Interacción Persona - Ordenador Diseño de la interfaz en la Ingeniería del Software Dr. Pedro Latorre Dra. Sandra Baldassarri Dra. Eva Cerezo Ingeniería del Software Ingeniería del Software: Definición
Más detallesUNIVERSIDAD DE SEVILLA Dpto. de Ingeniería Electrónica. Introducción a los lenguajes HDL y conceptos. Octubre de 2007
UNIVERSIDAD DE SEVILLA Dpto. de Ingeniería Electrónica AREA DE TECNOLOGIA ELECTRONICA VHDL Introducción al lenguaje VHDL Introducción a los lenguajes HDL y conceptos básicos de VHDL Octubre de 2007 Tema
Más detallesDescripción en VHDL de arquitecturas para implementar el algoritmo CORDIC
Capítulo 5 Simulación y verificación de las descripciones Luego de describir un circuito digital, éste debe ser simulado para verificar y validar su comportamiento. Se realizaron simulaciones para verificar
Más detallesBiblioteca de recursos. Descargado desde
Biblioteca de recursos Descargado desde www.rededuca.net Sistemas y aplicaciones informáticas 1. Representación y comunicación de la información. 2. Elementos funcionales de un ordenador digital. Arquitectura.
Más detallesSistema electrónico digital (binario) que procesa datos siguiendo unas instrucciones almacenadas en su memoria
1.2. Jerarquía de niveles de un computador Qué es un computador? Sistema electrónico digital (binario) que procesa datos siguiendo unas instrucciones almacenadas en su memoria Es un sistema tan complejo
Más detallesINGENIERÍA EN MECATRÓNICA
HOJA DE ASIGNATURA CON DESGLOSE DE UNIDADES TEMÁTICAS 1. Nombre de la asignatura Dispositivos digitales programables 2. Competencias Desarrollar proyectos de automatización y control, a través del diseño,
Más detallesINGENIERÍA EN MECATRÓNICA
HOJA DE ASIGNATURA CON DESGLOSE DE UNIDADES TEMÁTICAS 1. Nombre de la asignatura Dispositivos digitales programables 2. Competencias Desarrollar proyectos de automatización y control, a través del diseño,
Más detallesDiseño de una arquitectura para la implementación de sistemas digitales. Su aplicación a un modulador DTMB
Diseño de una arquitectura para la implementación de sistemas digitales. Su aplicación a un modulador DTMB Ing. Reinier Díaz Hernández reinier@lacetel.cu 8 de noviembre de 2016 1 de 20 RESUMEN Se presenta
Más detallesIntroducción a los lenguajes de descripción de hardware
Introducción a los lenguajes de descripción de hardware Noviembre 2009 Jorge Juan Chico Departamento de Tecnología Electrónica Universidad de Sevilla Usted es libre de copiar, distribuir
Más detallesA) Nombre del Curso. B) Datos básicos del curso. C) Objetivos del curso. Electrónica digital II. Semestre. Créditos. Horas de teoría por semana
A) Nombre del Curso Electrónica digital II B) Datos básicos del curso Semestre Horas de teoría por semana Horas de práctica por semana Horas trabajo adicional estudiante Créditos IV 2 2 2 6 C) Objetivos
Más detallesGUÍA DOCENTE DE LA ASIGNATURA
GUÍA DOCENTE DE LA ASIGNATURA G675 - Sistemas Embebidos Grado en Ingeniería Informática Optativa. Curso 4 Curso Académico 2016-2017 1 1. DATOS IDENTIFICATIVOS Título/s Grado en Ingeniería Informática Tipología
Más detallesUnidad I: Organización del Computador. Ing. Marglorie Colina
Unidad I: Organización del Computador Ing. Marglorie Colina Arquitectura del Computador Atributos de un sistema que son visibles a un programador (Conjunto de Instrucciones, Cantidad de bits para representar
Más detallesPruebas de Software. Agenda. Pruebas de Programas Los Niveles de Prueba Diseño de Casos de Prueba
Pruebas de Software R. Casallas Dpto. de Ingeniería de Sistemas y Computación Universidad de los Andes 1 Agenda Pruebas de Programas Los Niveles de Prueba Diseño de Casos de Prueba 2 1 Pruebas de Programas
Más detallesBENEMÉRITA UNIVERSIDAD AUTÓNOMA DE PUEBLA FACULTAD DE CIENCIAS DE LA ELECTRÓNICA
NOMBRE DE LA ASIGNATURA: BENEMÉRITA UNIVERSIDAD AUTÓNOMA DE PUEBLA FACULTAD DE CIENCIAS DE LA ELECTRÓNICA PROGRAMA DE ESTUDIOS DE LA MAESTRÍA EN INGENIERÍA ELECTRÓNICA CON OPCIÓN EN INSTRUMENTACIÓN DIGITAL
Más detallesPREGUNTAS TIPO. 1) Una con na flecha los conceptos de cada nivel de abstracción en el diseño electrónico. Componentes funcionales interconectados
INGENIERIA ELECTRONICA Cátedra Técnicas Digitales I 3º Año - 2014 EVALUACION TEORIA 4 TEMA 5A-5B ARITMETICA BINARIA LENGUAJE VHDL TEMA 5A : Lenguaje VHDL PREGUNTAS TIPO 1) Una con na flecha los conceptos
Más detallesAC2 - Arquitectura de Computadores II
Unidad responsable: 270 - FIB - Facultad de Informática de Barcelona Unidad que imparte: 701 - AC - Departamento de Arquitectura de Computadores Curso: Titulación: 2016 GRADO EN INGENIERÍA INFORMÁTICA
Más detallesMATERIA DE SIMULACION
Grupo: 9F2A (9F2A) (9F2B) MATERIA DE SIMULACION NOMBRE DEL PROYECTO: SIMULADOR DE UN MECANISMO DE 4 BARRAS Fecha de elaboración: 24 Noviembre 2017 Versión: 1.3 Proyecto: Individual X Grupal Nombre del
Más detallesTOTAL DE HORAS: Semanas de clase: 5 Teóricas: 3 Prácticas: 2. SERIACIÓN OBLIGATORIA ANTECEDENTE: Ninguna SERIACIÓN OBLIGATORIA SUBSECUENTE: Ninguna
UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉICO FACULTAD DE ESTUDIOS SUPERIORES CUAUTITLÁN LICENCIATURA: INGENIERIA EN TELECOMUNICACIONES, SISTEMAS Y ELECTRONICA DENOMINACIÓN DE LA ASIGNATURA: Dispositivos Lógicos
Más detallesUNIVERSIDAD NACIONAL AUTONOMA DE MEXICO FACULTAD DE INGENIERÍA PRÁCTICAS PARA LA MATERIA DE DISEÑO DIGITAL VLSI
UNIVERSIDAD NACIONAL AUTONOMA DE MEXICO FACULTAD DE INGENIERÍA PRÁCTICAS PARA LA MATERIA DE DISEÑO DIGITAL VLSI M.I. Norma Elva Chávez Rodríguez M.I. Jorge Valeriano Assem DISEÑO DE SISTEMAS DIGITALES
Más detallesINGENIERÍA EN MECATRÓNICA EN COMPETENCIAS PROFESIONALES ASIGNATURA DE DISPOSITIVOS DIGITALES PROGRAMABLES
INGENIERÍA EN MECATRÓNICA EN COMPETENCIAS PROFESIONALES ASIGNATURA DE DISPOSITIVOS DIGITALES PROGRAMABLES 1. Competencias Desarrollar proyectos de automatización y control, a través del diseño, la administración
Más detallesTEMA 0: Introducción: Aspectos Tecnológicos y Metodológicos del diseño de sistemas
TEMA 0: Introducción: Aspectos Tecnológicos y Metodológicos del diseño de sistemas Curso 07/08 Departamento de Arquitectura y Tecnología de Sistemas Informáticos - Facultad de Informática - Universidad
Más detallesDispositivos Lógicos Programables (FPGAs) Guillermo Güichal Emtech www.emtech.com.ar
Dispositivos Lógicos Programables (FPGAs) Guillermo Güichal Emtech www.emtech.com.ar Temario Introducción Circuitos Digitales FPGAs Flujo y Herramientas de Diseño Diseño para Síntesis Simulación Ejemplos
Más detallesSistemas Digitales I. Docentes. Mg. Ing. Cristian Sisterna. Dr. Martin Guzzo. Ing. Gabriel Cañadas
Docentes Mg. Ing. Cristian Sisterna Dr. Martin Guzzo Ing. Gabriel Cañadas 2016 Horarios de consulta MSc. Cristian Sisterna Martes y Jueves de 10 a 12 hs Ing. Gabriel Cañadas Lunes y Miercoles 10 a 12 hs
Más detallesDiseño de Circuitos Integrados
Tema 7 Diseño de Circuitos Integrados Cómo se ha de diseñar un circuito integrado digital Electrónica. Microelectrónica 1 Contenidos del tema 1. Introducción 2. Metodologías de diseño 1. Semicustom: Predifundidos
Más detallesALGORITMO. Podemos encontrar muchas definiciones de algoritmo en los textos de programación, todas ellas muy similares:
Nuestra herramienta mental más importante para competir con la complejidad es la abstracción. Por tanto, un problema no deberá considerarse inmediatamente en términos de instrucciones de un lenguaje, sino
Más detallesSIDI-R2O10 - Sistemas Digitales
Unidad responsable: Unidad que imparte: Curso: Titulación: Créditos ECTS: 2016 340 - EPSEVG - Escuela Politécnica Superior de Ingeniería de Vilanova i la Geltrú 710 - EEL - Departamento de Ingeniería Electrónica
Más detallesGUÍA DOCENTE DE LA ASIGNATURA
GUÍA DOCENTE DE LA ASIGNATURA G86 - Sistemas Electrónicos es Grado en Ingeniería de Tecnologías de Telecomunicación Optativa. Curso 3 Curso Académico 015-016 1 1. DATOS IDENTIFICATIVOS Título/s Grado en
Más detallesDiseño electrónico digital integrado: Back to basics. Sep-2011 F.Barbero Escuela Politécnica Superior - Universidad Autónoma de Madrid
Diseño electrónico digital integrado: Back to basics Sep-2011 F.Barbero Escuela Politécnica Superior - Universidad Autónoma de Madrid Flip-flop D con Reset Asíncrono Captura un dato con el flanco de reloj
Más detallesMÓDULOS DE DISEÑO EN INGENIERÍA
MÓDULOS DE DISEÑO EN INGENIERÍA El diseño de productos tecnológicos (artefactos, procesos, sistemas e infraestructura) está en el centro de la naturaleza de la ingeniería. El diseño en ingeniería es un
Más detallesPROGRAMA DE LA ASIGNATURA "Electrónica Digital" Grado en Ingeniería de las Tecnologías de Telecomunicación. Departamento de Ingeniería Electrónica
PROGRAMA DE LA ASIGNATURA "Electrónica Digital" Grado en Ingeniería de las Tecnologías de Telecomunicación Departamento de Ingeniería Electrónica E.T.S. de Ingeniería DATOS BÁSICOS DE LA ASIGNATURA Titulación:
Más detallesDISEÑO, IMPLEMENTACIÓN Y VALIDACIÓN DE UNA BIBLIOTECA DE ALGORITMOS DE SINCRONIZACIÓN PARA WSN
DISEÑO, IMPLEMENTACIÓN Y VALIDACIÓN DE UNA BIBLIOTECA DE ALGORITMOS DE SINCRONIZACIÓN PARA WSN Tesista : Javier Verde Director : Dr. Ing. Ariel Lutenberg Índice 2 Introducción Teórica Redes Inalámbricas
Más detallesDiseño de Sistemas Embebidos en FPGA Curso de Posgrado Facultad de Ciencias Exactas y Tecnología UNT.
Tema 5 Parte 1: FPGA. Diseños de Sistemas Digitales Parte 2: Lenguajes de descripción de Hardware#5 Introducción Fabricantes Elevada complejidad Facilitar tareas de diseño Herramientas CAD DESCRIPCIÓN
Más detallesPROGRAMA ANALÍTICO. Dr. Ing. Guillermo A. Magallán Profesor Adjunto
PROGRAMA ANALÍTICO DEPARTAMENTO: TELECOMUNICACIONES CARRERA: INGENIERÍA EN TELECOMUNICACIONES ASIGNATURA: PROGRAMACIÓN LÓGICA PARA INGENIERÍA CÓDIGO: 0073 AÑO ACADÉMICO: 2017 PLAN DE ESTUDIO: 2010 UBICACIÓN
Más detallesINTRODUCCIÓN A SIMULINK/SYSTEM GENERATOR (XILINX FPGA) C7 Technology 1
INTRODUCCIÓN A SIMULINK/SYSTEM GENERATOR (XILINX FPGA) C7 Technology 1 Algoritmos DSP 2 Implementación Algoritmos DSP Algoritmo DSP Procesadores DSP (AMD, TI) FPGAs Simulink +System Generator + FPGA Software
Más detallesDiseñando Hardware a la Medida con el Módulo de LabVIEW FPGA. ni.com/fpga
Diseñando Hardware a la Medida con el Módulo de LabVIEW FPGA Agenda Beneficios de los FPGAs para Sistemas de Medición y Control Programando FPGAs con LabVIEW Aplicaciones Recursos 3 Qué es un FPGA? Interconexiones
Más detallesTema 2: Metodología de diseño
Tema 2: Metodología de diseño Retos en el diseño de sistemas empotrados Pasos en el diseño de SE Ejemplo: navegador GPS Bibliografía: (Capítulos introductorios) Computer as Components: Principles of Embedded
Más detallesPr. Dr. Xavier Bonnaire
Pr. Dr. Xavier Bonnaire Slide María Departamento de Informática Temario Introducción Sistemas Combinacionales (SC) Implementaciones de SC mediante PLA Sistemas Secuenciales Slide 2 María Departamento de
Más detallesPráctica I.- Introducción a los Sistemas Secuenciales
Práctica I.- Introducción a los Sistemas Secuenciales 1.1.- Objetivos. El objetivo de esta práctica consiste en consolidar las diferencias entre sistemas combinacionales y secuenciales 1.2.- Problema.
Más detallesIngeniería del Software 2
Análisis de requisitos es la 1ª fase técnica del proceso de ing. del SW Éxito -> Comprensión total de los requisitos Análisis de requisitos -> Tarea de descubrimiento, refinamiento, modelado y especificación
Más detallesSISTEMAS DIGITALES VHDL
SD SISTEMAS DIGITALES VHDL Fredy Hernán Riascos Campiño Practica 1a: Implementación de un incrementador: Se he de implementar un modulo incrementador (INC), Este modulo no es mas que un sumador y un registro
Más detallesPRERREQUISITOS Y CORREQUISITOS ENTRE LAS ASIGNATURAS DE LAS TITULACIONES DE ITIG E ITIS (Segunda Parte: Tablas por Asignatura)
PRERREQUISITOS Y CORREQUISITOS ENTRE LAS ASIGNATURAS DE LAS TITULACIONES DE E (Segunda Parte: Tablas por Asignatura) Febrero de 2008 1 ÍNDICE Primer Curso Administración de Organizaciones y Sistemas de
Más detallesIntroducción a VHDL. Sistemas digitales UTM-2006 JJVS
Introducción a VHDL Sistemas digitales UTM-2006 JJVS Surgimiento de VHDL Necesidad de nuevos métodos ya que los clásicos (esquemáticos), llegan a ser ineficientes en diseños de altas escalas de integración.
Más detallesLattice isplever. Características. Gestión de proyectos
Lattice isplever Características Conjunto de herramientas para el diseño con CPLD y FPGA Versión isplever starter gratuita (licencia 6 meses) Entorno de desarrollo integrado -> incluye Gestión de proyectos
Más detallesARQUITECTURA DE COMPUTADORAS I7024 I7023 SEMINARIO DE SOLUCIÓN DE PROBLEMAS DE I5884 I5887 INGENIERIA DE SOFTWARE INGENIERIA DE SOFTWARE I I7274
1 2 3 4 5 6 TRADUCTORES II I7027 MÉTODOS MATEMÁTICOS I I5893 MÉTODOS MATEMÁTICOS II I5895 MÉTODOS MATEMÁTICOS III I7020 BASES DE DATOS I5890 I7025 TRADUCTORES I SEMINARIO DE SOLUCIÓN DE PROBLEMAS DE MÉTODOS
Más detallesLaboratorio 4. Objetivos
DISEŇO de SISTEMAS DIGITALES AVANZADOS CON VHDL e IMPLEMENTADOS en FPGAs Laboratorio 4 Objetivos Interpretación de información especificada en hojas de datos o especificaciones de diseño Utilización de
Más detallesplacas de prototipado (i) Material docente en los laboratorios de la Facultad de Informática Diseño Automático de Sistemas
1 Material docente en los laboratorios de la Facultad de Informática Diseño Automático de Sistemas José Manuel Mendías Cuadros Dpto. Arquitectura de Computadores y Automática Universidad Complutense de
Más detallesLos modelos de proceso que se discuten en este capítulo son:
Ingeniería de Software 6ª Edición Ian Somerville Addison Wesley Resumen Cap. 3 Procesos del software Modelos del proceso del software Un modelo del proceso del software es una representación abstracta
Más detalles3 - DISEÑO RTL. Existen dos tipos de descripciones a nivel de comportamiento en Verilog:
3 - DISEÑO RTL Un diseño a nivel funcional o de comportamiento (behavioral description) permite describir circuitos digitales atendiendo únicamente a las relaciones existentes entre las entradas y salidas
Más detallesModelo Dinámico del Diseño del Software y Representación en UML. UNIDAD 9 Análisis y Diseño de Sistemas de Información
Modelo Dinámico del Diseño del Software y Representación en UML UNIDAD 9 Análisis y Diseño de Sistemas de Información El Modelo Dinámico El objetivo del modelo Dinámico es presentar o describir el comportamiento
Más detallesUNIVERSIDAD RICARDO PALMA FACULTAD DE INGENIERIA
UNIVERSIDAD RICARDO PALMA FACULTAD DE INGENIERIA ESCUELA ACADEMICO PROFESIONAL DE INGENIERIA ELECTRÓNICA I. DATOS ADMINISTRATIVOS Silabo NUEVO PLAN DE ESTUDIOS 2006_II Asignatura : TALLER DE ELECTRONICA
Más detallesParalelismo _Arquitectura de Computadoras IS603
Paralelismo _Arquitectura de Computadoras IS603 INTRODUCCION El objetivo de esta investigación, es conceptualizar las diferentes tipos de paralelismo referente al área de Arquitectura de Computadoras,
Más detallesCentro de Electrónica Industrial (CEI) Modelo de transmisiones inalámbricas. Universidad Politécnica de Madrid.
(CEI) cei@upm.es Modelo de transmisiones inalámbricas Universidad Politécnica de Madrid Madrid Proyecto VIPERS Virtual IP Environment for Rapid Silicon Sistemas autónomos e independientes Bajo coste, bajo
Más detalles