Validación y Verificación (1)
|
|
- María Luisa Miranda Álvarez
- hace 6 años
- Vistas:
Transcripción
1 Validación y Verificación (1) Definir conceptos de verificación y validación Importancia de la verificación Conceptos básicos en verificación Diseño de sistemas en chip (SoC), 4º - Roberto Sarmiento ETSIT Bibliografía Janick Bergeron, Writing Tesbenches: Functional Verification of HDL Models. Kluwer Academic Publishers, segunda edición, ISBN: Capítulo 1: Qué es verificación? Capítulo 3: El plan de verificación Rochit Rajsuman, System-on-a-Chip: Design and Test. Artech House, Boston (2000). ISBN: Capitulo 4: Validación del diseño Otros libros Paul Wilcox, Professional Verification: A Guide to Advanced Functional Verification. Kluwer Academic Publisher, ISBN: Prakash Rashinhar, Peter Paterson y Leena Singh, System-on-a-chip Verification. Methodology and Techniques. Kluwer Academic Publisher, ISBN:
2 Conceptos de Verificación y Validación Validación: Compara un producto o un subproducto con sus propiedades extrínsecas (ejemplos, Se cubren las necesidades de los clientes? El producto hace lo que se pretende que haga?). Verificación: compara las propiedades intrínsecas de un producto con una especificación de alto nivel, un estándar, un proceso, un procedimiento, un requerimiento, etc. Como recordatorio de la diferencia V&V: Validación: estoy haciendo el producto correcto? Verificación: estoy haciendo el producto correctamente? Validación El propósito de la validación es demostrar que un producto o un componente del producto satisfacen todos los requisitos necesarios para su aplicación cuando se utiliza en el entorno previsto. operación, entrenamiento, fabricación, mantenimiento, y servicios de soporte. Validación: Validación Hardware Validación Software Validación de la operación del sistema combinado Funcional & temporal 2
3 Verificación El propósito de la Verificación es asegurar que el producto seleccionado para una tarea cumple todos los requisitos que se han especificado para esa tarea La verificación es un proceso incremental porque tiene lugar en todo el proceso de desarrollo de un producto, empezando por la verificación de los requisitos, siguiendo a través de la verificación de las fases del diseño del producto y culminando con la verificación del producto terminado La verificación puede ser de dos tipos: Verificación de las especificaciones Verificación de la implementación Qué es verificación del diseño? Para asegurar que el diseño sea correcto (Encontrar tantos errores como sea posible) Design Flow Functional Specification Design Creation RTL Design Implementation Gate Physical Implementation GDSII 3
4 Dónde están los errores? Especificación funcional Lenguaje natural (español-ingés)/algoritmos Diagramas de tiempos, descripciones a nivel de sistema o comportamiento Realización del diseño Diseño inconsistente con las especificaciones Errores en la codificación RTL (error tipográfico, error lógico) Asumir el entorno de trabajo Implementación del diseño físico Herramientas de síntesis Optimizaciones manuales What is Design Verification? Para asegurar que el diseño sea correcto (Encontrar tantos errores como sea posible) Design Flow Functional Specification Design Creation RTL Design Implementation Gate Physical Implementation GDSII 4
5 Qué tipo de verificación se usa a cada nivel? Verificación de la arquitectura Custom performance modeling, Algorithm models (MatLab), Formal Model Checking Verificación de la implementación Circuit-level Spice, Fast Spice, Symbolic simulation, Formal Equivalency Gate/Structure Logic Simulation, Formal Equivalency, HW Emulation Timing Static Timing Analysis RTL Logic Simulation, Formal Model Checking, HW Emulation Verificación del proceso de fabricación At-speed Logic Simulation Manufacturing defects ATPG, BIST Verificación de la implementación Verificación del sistema: El sistema funciona? Run application: comprobar resultado final Verificación de módulos: Funciona la comunicación entre bloques? Comprobar la sincronización, latencia Verificación de bloques: Comprobar que unos estímulos de entrada generan los resultados correctos? Comprobar la funcionalidad de los bloques y corner cases. 5
6 Verificación: bancos de prueba Se realiza a través de los bancos de prueba (tesbench) : Código creado para determinar la entrada (secuencia) a un diseño y comprobar su salida Se puede realizar en VHDL, Verilog, C, C++, etc. Testbench DUV Verificación: bancos de prueba Los bancos de prueba se pueden realizar para verificar: 1. Transacciones. Para comprobar buses y circuitos de interfaz. Incluye un generador de transiciones válidas (control y datos) y un analizador de resultados 2. Instrucciones. Para arquitecturas tipo ISA. Requiere modelos ISA y verificar todas las instrucciones 3. Random testing. Para encontrar errores muy atípicos. 4. Regression testbenches. Para encontrar errores específicos. Es incremental y debe ejecutarse en cada cambio del diseño. 5. Code coverage. Para comprobar funciones omitidas, el retorno en un salto, etc. Lo hacen automáticamente las herramientas. 6. Comportamiento funcional. Verifica la función para una aplicación concreta. Debido a tiempo de computo está limitado en el número de ciclos 6
7 Principales problemas en el diseño Dónde están los errores? Errores de diseño 82 Espec. Incorrectas/incompletas 47 Cambios en las espec. 32 Mal uso de IP anteriores 16 IP incorrecto/incompleto 10 Otros
8 Dónde están los errores? Causas concretas para rediseño Costes de las máscaras 60% de los diseños no funcionan la primera vez: necesitan uno o más rediseños Complejidad de la verificación Para un circuito con 100 registros (un diseño pequeño) Número total de estados = = = M Requiere (en peor de los casos) al menos M ciclos para probar todas las posibles situaciones Por tanto las simulaciones pueden únicamente cubrir una parte pequeña de todos los casos La complejidad de la verificación crece en función de múltiplos de la Ley de Moore 10X para los ASICs 100X para los sistemas basados en ASIC y para los SOCs que incluyen software empotrado 8
9 Complejidad de la verificación Complejidad de la verificación ƒ( complejidad de la arquitectura, cantidad de reutilización, frecuencia de reloj, tiempo de peor caso de ejecución del software, experiencia de los ingenieros) Ciclos de verificación 10B 100M 1M K 1M 10M Número de puertas efectivo Importancia de la verificación La verificación constituye el 70% del esfuerzo de diseño Design Complexity Time to Market Nº de ingenieros de verificación = 2 x Nº de ingenieros de diseño Código de los bancos de prueba = 80% de todo el código generado 9
10 Coste de encontrar errores (bugs) Time to fix a bug System Module Block Design integration stage RESPIN Chip NREs increasing making respins an unaffordable proposition Average ASIC NRE ~$122,000 SOC NREs range from $300,000 to $1,000,000 Experiencia típica de verificación Functional testing Purgatory Tapeout Bugs per week Weeks 10
11 Hay problemas? Qué problemas? My biggest problem about design verification is that the time is never enough. I can only do my best to run more simulation, but I don t know whether it is sufficient. --- Broadcom designer (similar comments from many others) It is very hard to write the testbenches and assertions for the design, since I am not a designer. Ask the designer to do it more? No way!! --- Sun Microsystems verification engineer (similar comments from many others) Cuál es realmente el problema? Gap entre diseñadores e ingenieros de verificación (para diseñadores) Pensé que había corregido todos los errores (para ingeniero de verificación) Busco formas de entender el diseño mejor Las metodologías de verificación no son óptimas Siempre se necesita aprender más sobre nuevas alternativas 11
12 Verificación: modelo de reconvergencia Representación conceptual del proceso de verificación El proceso de verificación consiste en asegurar que el resultado de una transformación es como se pretende o se espera HW Design Specification Netlist Verification Verificación: el factor humano RTL Coding Specification Document Interpretación Netlist La intervención humana genera incertidumbre Para reducir los errores hay que usar Automatización Definir los procesos con transformaciones estándar Introducir redundancia. Verification 12
13 Verificación: el factor humano Introducir redundancia conlleva más recursos humanos y por tanto más NRE RTL Coding Specification Interpretación Interpretación Verification Netlist Verificación: Qué se verifica? Dependiendo del origen y el punto de reconvergencia se estarán verificando diferentes cosas. Con frecuencia esto viene determinado por la herramienta usada: Verificación funcional. Tiene como propósito fundamental asegurar que el diseño implementa correctamente la funcionalidad Verificación formal. Forma analítica de determinar que las transformaciones realizadas son correctas 13
14 Verificación formal Verificación formal. Forma analítica de determinar que las transformaciones realizadas son correctas No elimina la necesidad de testbench La verificación formal puede dividirse en dos categorías: Comprobación de equivalencia (equivalence checking) Comprobación de modelo (model checking) Verificación formal: equivalence checking La equivalence checking prueba que la entrada y la salida de un proceso es lógicamente equivalente y que la transformación realizada preserva su funcionalidad Síntesis RTL o netlist Equivalence Checking RTL o netlist Ejemplos: proceso de síntesis, introducción de scan, síntesis del árbol de reloj, etc. 14
15 Verificación formal: model checking Model checking. Busca violaciones de las reglas introducidas por el usuario sobre el comportamiento del sistema. RTL coding Especificaciones Interp. Assertions Model Checking RTL Es necesario determinar que assertions deben ser introducidas para comprobar cierta parte de la funcionalidad del sistema Útil para encontrar patologías que no se tuvieron en cuenta en las especificaciones Verificación funcional La verificación funcional compara la implementación de un diseño con sus especificaciones RTL coding Especificaciones RTL Verificación funcional Se realiza a través de la generación de bancos de prueba Cuestiones importantes (para toda verificación): Code coverage Metrics 15
16 Verificación funcional: enfoques blackbox DUT Se realiza sin conocimiento de la implementación a través de un modelo de alto nivel. Es independiente del diseño Reference model = Yes/No whitebox Total visibilidad y observabilidad (monitors/assertions) graybox Es un blacbox testcase escrito con total conocimiento de los detalles internos. Se ejecutan casos particulares a la implemntación específica DUT DUT Reference model = Yes/No Verificación funcional: enfoques Blackbox: propiedades Sobre-esfuerzo de verificación reducido Tiempo de debugging largo Whitebox: propiedades early debugging Difícil de reutilizar y de manejar whitebox o blackbox por si solos son inadecuados Whitebox puro no sirve para encontrar errores en el sistema Blackbox puro no sirve para encontrar errores de estado Ninguno resuelve el problema de forma separada Graybox es el modelo más adecuado 16
17 Verificación vs. Test HW Design Manufacturing Specification Netlist Silicon Verification Testing Verificación vs. Test Design Specification Design Creation Design Implementation Chip Manufacture High-level spec RTL design Synthesis/P&R Verification Object design Methodologies Simulation Emulation Formal techniques ICs Testing Object chip Methodologies ATPG Fault Simulation Scan / BIST 17
Objetivos. 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 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 detallesNECESIDAD DE VERIFICACIÓN Y PRUEBAS A PCB S
NECESIDAD DE VERIFICACIÓN Y PRUEBAS A PCB S NECESIDAD DE APLICAR LAS TECNOLOGÍAS DE VERIFICACIÓN Y PRUE- BAS DE TARJETAS ELECTRÓNICAS (PCB) DE LOS PRODUCTOS ELEC- TRÓNICOS COLOMBIANOS INTRODUCCIÓN Los
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 detallesAllegro Microsystems
Allegro Microsystems Allegro Microsystems Líder en el desarrollo, fabricación y comercialización de circuitos integrados de alta performance que incluyen sensores de efecto Hall y circuitos de potencia.
Más detallesTEMA 7: INGENIERIA DEL SOFTWARE.
TEMA 7: INGENIERIA DEL SOFTWARE. 7.1. Definición de software 7.2. Características del software 7.3. Componentes del software 7.4. Ciclo de vida 7.4.1. Análisis de requisitos 7.4.2. Diseño 7.4.3. Implementación
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 detallesDISEÑO DEL SISTEMA DE INFORMACION (DSI)
DISEÑO DEL SISTEMA DE INFORMACION (DSI) El objetivo del proceso de Diseño del Sistema de Información (DSI) es la definición de la arquitectura del y del entrono tecnológico que le va a dar soporte, junto
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 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 detallesPlan 95 Adecuado. DEPARTAMENTO: ELECTRÓNICA CLASE: Electiva de Especialidad. ÁREA: ELECTRÓNICA HORAS SEM.: 4 HS. HORAS / AÑO: 64 HS.
Plan 95 Adecuado ASIGNATURA: DISEÑO DE CIRCUITOS INTEGRADOS DIGITALES CODIGO: 95-0407 DEPARTAMENTO: ELECTRÓNICA CLASE: Electiva de Especialidad. ÁREA: ELECTRÓNICA HORAS SEM.: 4 HS. HORAS / AÑO: 64 HS.
Más detallesObjetos Distribuidos - Componentes. Middleware
Objetos Distribuidos - Componentes Middleware Middleware Component Oriented Development Arquitecturas 3 Tier Middleware es el software que: conecta y comunica los componentes de una aplicacion distribuida
Más detallesArquitectura de Computadores. Práctica 1: Diseño Hardware de Procesadores. Práctica 1/1
Arquitectura de Computadores Práctica 1: Diseño Hardware de Procesadores Práctica 1/1 Práctica 1 Ejercicio 1: Modelado VHDL de la etapa IF en el procesador DLX32 Ejercicio 2: Ampliación Y Especialización
Más detallesCapacitación adquirida por el alumno al finalizar este modulo
Curso de UML y UP Analiza, modela y diseña sistemas orientado a objetos con UML. Aprende cuándo y cómo utilizar todos los diagramas que forman parte de UML en forma práctica utilizando el Enterprise Architect
Más detallesIntroducción a las FPGA
Introducción a las FPGA Introducción a la Microfabricación y las FPGA Instituto Balseiro 12 de Agosto 2013 Hoy veremos... Menú del Día Qué es una FPGA. Para qué se usan. Arquitecturas. Flujo de diseño.
Más detallesAnexo 10. Pruebas verificadas
1 Anexo 10. Pruebas verificadas Introducción El proceso de pruebas inició con una revisión conceptual para la identificación de las pruebas por realizar, a partir de las características del proyecto. En
Más detallesDistinguir correctamente las ventajas y desventajas de la lógica cableada y de la lógica programada con PLC.
Programas de Actividades Curriculares Plan 94A Carrera: Ingeniería Mecánica AUTOMATIZACIÓN INDUSTRIAL Área: Bloque: Eléctrica Tecnologías Básicas Nivel: 4º año Tipo: Electiva Modalidad: Anual Carga Horaria
Más detallesTÉCNICO SUPERIOR UNIVERSITARIO EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIÓN ÁREA SISTEMAS INFORMÁTICOS.
TÉCNICO SUPERIOR UNIVERSITARIO EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIÓN ÁREA SISTEMAS INFORMÁTICOS. HOJA DE ASIGNATURA CON DESGLOSE DE UNIDADES TEMÁTICAS 1. Nombre de la asignatura Ingeniería de
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 detallesTema V Generación de Código
Tema V Generación de Código Una vez que se ha realizado la partición HW/SW y conocemos las operaciones que se van a implementar por hardware y software, debemos abordar el proceso de estas implementaciones.
Más detallesPrueba, caso de prueba, defecto, falla, error, verificación, validación.
Modelos de Prueba Prueba, caso de prueba, defecto, falla, error, verificación, validación. Prueba: Las Pruebas son básicamente un conjunto de actividades dentro del desarrollo de software, es una investigación
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 detallesProyectos de calidad comienzan con requisitos de calidad
Proyectos de calidad comienzan con requisitos de calidad Guilherme Siqueira Simões 17 - Julio - 2015 Agenda Por qué preocuparse por la calidad en requisitos? Qué es calidad? Qué es requisito de software?
Más detallesUnidad Didáctica 1: Introducción y conceptos básicos (test de software embebido) Sistemas embebidos para tiempo real
Unidad Didáctica 1: Introducción y conceptos básicos (test de software embebido) Sistemas embebidos para tiempo real Agenda Test de software embebido Conceptos generales Tipos de test Técnicas de depuración
Más detallesLenguaje de Modelamiento Unificado.
Lenguaje de Modelamiento Unificado. Pontificia Universidad Javeriana What can you Model with UML? 1. Structure Diagrams include: The Class Diagram Object Diagram Component Diagram Composite Structure Diagram
Más detallesPlanificaciones Análisis de la Información. Docente responsable: GONZALEZ NORBERTO DANIEL. 1 de 6
Planificaciones 7509 - Análisis de la Información Docente responsable: GONZALEZ NORBERTO DANIEL 1 de 6 OBJETIVOS Introducir al alumno en los conceptos fundamentales del desarrollo de sistemas de información
Más detallesIFCD0210 Desarrollo de Aplicaciones con Tecnologías Web
IFCD0210 Desarrollo de Aplicaciones con Tecnologías Web Cualificaciones Profesionales y Certificados de Profesionalidad Ficha Técnica Categoría Informática y Comunicaciones Referencia Precio Horas 9777-1302
Más detallesDiseño de una calculadora
DEPARTAMENTO DE TECNOLOGÍA ELECTRÓNICA ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA INFORMÁTICA Diseño de una calculadora Sistemas Digitales Avanzados 1. Introducción y objetivos El propósito general de esta
Más detallesTema 16 ELECTRÓNICA DIGITAL LENGUAJES DE DESCRIPCIÓN DE LOS SISTEMAS DIGITALES (PARTE 1)
ELECTRÓNICA DIGITAL Tema 16 LENGUAJES DE DESCRIPCIÓN DE LOS SISTEMAS DIGITALES (PARTE 1) IMPORTANCIA DE LOS ESQUEMAS Los circuitos y sistemas electrónicos digitales cuya complejidad es limitada, se pueden
Más detallesPROGRAMA DE CURSO. Metodologías de Diseño y Programación. Nombre en Inglés. Design and Programming Methodologies.
Código CC3002 Nombre Nombre en Inglés PROGRAMA DE CURSO Metodologías de Diseño y Programación Design and Programming Methodologies SCT es Docentes Horas de Cátedra Horas Docencia Auxiliar Horas de Trabajo
Más detallesHP COSTA RICA R&D CENTER
HP COSTA RICA R&D CENTER Taller Exploratorio De Pruebas Universidad de Costa Rica Luis García Ileana Montealegre Roy Campos 1 1 R&D EN COSTA RICA - Desarrollo de ASICs (HPN/BCS/ISS) - Esquipo en desarrollo
Más detallesArea Académica: Sistemas Computacionales. Tema: Elementos de diseño de memoria caché
Area Académica: Sistemas Computacionales Tema: Elementos de diseño de memoria caché Profesor: Raúl Hernández Palacios Periodo: 2011 Keywords: Memory, cache memory. Tema: Elementos de diseño de memoria
Más detallesSesión VI: Desarrollo de aplicaciones en el entorno MATLAB
1 Sesión VI: Desarrollo de aplicaciones en el entorno MATLAB LPI: Control y Procesamiento Digital de Señales Por: Ricardo Alzate Castaño UNIVERSIDAD NACIONAL DE COLOMBIA Sede Manizales Segundo Semestre
Más detallesCapítulo III: MARCO METODOLÓGICO
Capítulo III: MARCO METODOLÓGICO Tipo de Investigación El presente trabajo de investigación, tuvo como propósito el desarrollo de una aplicación experimental que permitió evaluar la operatividad y funcionalidad
Más detallesTÉCNICO SUPERIOR UNIVERSITARIO EN MECATRÓNICA ÁREA AUTOMATIZACIÓN
TÉCNICO SUPERIOR UNIVERSITARIO EN MECATRÓNICA ÁREA AUTOMATIZACIÓN HOJA DE ASIGNATURA CON DESGLOSE DE UNIDADES TEMÁTICAS 1. Nombre de la asignatura Instrumentación industrial. 2. Competencias Implementar
Más detallesDesarrollo Orientado a Objetos en Métrica v. 3
Desarrollo Orientado a Objetos en Métrica v. 3 Carlos Rossi Jiménez c 2003 Carlos Rossi Jiménez. Universidad de Málaga p.1/45 Estructura del curso 1. Estructura de Métrica v. 3 2. Técnicas orientadas a
Más detallesTema I. La computación en el profesional de la Ingeniería
Tema I. La computación en el profesional de la Ingeniería Objetivo: El alumno describirá el desarrollo de la computación y de los beneficios que esto conlleva, para poderla emplear en sus quehaceres académicos
Más detalles6. Entrada y Salida Explicación de la interfaz entre el computador y el mundo exterior.
6. Entrada y Salida Explicación de la interfaz entre el computador y el mundo exterior. 6.1. El subsistema de E/S Qué es E/S en un sistema computador? Aspectos en el diseño del subsistema de E/S: localización
Más detallesTÉCNICO SUPERIOR UNIVERSITARIO EN MECATRÓNICA ÁREA AUTOMATIZACIÓN EN COMPETENCIAS PROFESIONALES ASIGNATURA DE LENGUAJE DE PROGRAMACIÓN
TÉCNICO SUPERIOR UNIVERSITARIO EN MECATRÓNICA ÁREA AUTOMATIZACIÓN EN COMPETENCIAS PROFESIONALES ASIGNATURA DE LENGUAJE DE PROGRAMACIÓN 1. Competencias Implementar sistemas de medición y control bajo los
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 detallesADAPTACIÓN DE REAL TIME WORKSHOP AL SISTEMA OPERATIVO LINUX
ADAPTACIÓN DE REAL TIME WORKSHOP AL SISTEMA OPERATIVO LINUX Autor: Tomás Murillo, Fernando. Director: Muñoz Frías, José Daniel. Coordinador: Contreras Bárcena, David Entidad Colaboradora: ICAI Universidad
Más detallesnorma española UNE-EN EXTRACTO DEL DOCUMENTO UNE-EN Seguridad funcional
norma española UNE-EN 61511-1 Enero 2006 TÍTULO Seguridad funcional Sistemas instrumentados de seguridad para el sector de las industrias de procesos Parte 1: Marco, definiciones, requisitos para el sistema,
Más detallesDES: Programa(s) Educativo(s): Tipo de materia: Clave de la materia: Semestre: Área en plan de estudios:
UNIVERSIDAD AUTÓNOMA DE CHIHUAHUA Clave: 08MSU0017H Clave: 08USU4053W FACULTAD DE INGENIERÍA PROGRAMA DEL CURSO: INGENIERÍA DE SOFTWARE Y COMPUTACIÓN I DES: Programa(s) Educativo(s): Tipo de materia: Clave
Más detallesTema 9. SISTEMAS COMBINACIONALES PROGRAMABLES SISTEMAS COMBINACIONALES PROGRAMABLES NO UNIVERSALES
Fundamentos de Computadores. Sistemas Combinacionales Programables. T9-1 Tema 9. SISTEMAS COMBINACIONALES PROGRAMABLES INDICE: INTRODUCCIÓN CLASIFICACION DE LOS SCP SISTEMAS COMBINACIONALES PROGRAMABLES
Más detallesPlanificaciones. 6633 - Laborat. de Sistemas Digitales. Docente responsable: DAMS ALBERTO ENRIQUE. 1 de 6
Planificaciones 6633 - Laborat. de Sistemas Digitales Docente responsable: DAMS ALBERTO ENRIQUE 1 de 6 OBJETIVOS El objetivo de la materia es que el alumno aprenda a diseñar, simular y verificar sistemas
Más detallesIngeniería de Software II. SETEPROS Plan de pruebas. Versión 1.0
Ingeniería de Software II SETEPROS Versión 1.0 Historial de revisiones Date Version Description Author 1.0 Primera versión Marcos Duque Oviedo Ingeniería de Software II, 2010 Página 2 de 11 Tabla de contenidos
Más detallesTecnología de fabricación en VLSI
Tecnología de fabricación en VLSI Clave del curso: EED307-3 (Opcional como curso relacionado con el proyecto de Maestría). INSTRUCTOR: SESION: PERIODO: Dr. Juan Luis del Valle Martes y Viernes, 9:00-11:00
Más detallesArquitectura del PLC. Dpto. Electrónica, Automática e Informática Industrial)
Arquitectura del PLC Dpto. Electrónica, Automática e Informática Industrial) www.elai.upm.es Introducción (I) El PLC recibe, en tiempo real, la información de los sensores conectados al proceso y ejecuta
Más detallesTema II: Metodología para la construcción de programas
Tema II: Metodología para la construcción de programas Semestre: A-2012 Profesora: Nelly García Mora Agenda 1. Definición 2. Análisis E P S 3. Construcción de Algoritmos 4. Diagramas de Flujo 5. Codificación
Más detallesTÉCNICO SUPERIOR UNIVERSITARIO EN MECATRÓNICA ÁREA AUTOMATIZACIÓN EN COMPETENCIAS PROFESIONALES ASIGNATURA DE SISTEMAS HIDRÁULICOS Y NEUMÁTICOS
TÉCNICO SUPERIOR UNIVERSITARIO EN MECATRÓNICA ÁREA AUTOMATIZACIÓN EN COMPETENCIAS PROFESIONALES ASIGNATURA DE SISTEMAS HIDRÁULICOS Y NEUMÁTICOS 1. Competencias Desarrollar y conservar sistemas automatizados
Más detallesCAPITULO 1 INTRODUCCION AL PROYECTO
CAPITULO 1 INTRODUCCION AL PROYECTO 1 INTRODUCCION AL PROYECTO 1.1 Marco Teórico Los procesadores digitales de señales ganaron popularidad en los años sesentas con la introducción de la tecnología de estado
Más detallesRedes de nivel de campo
2002 Emerson Process Management. Todos los derechos reservados. Vea este y otros cursos en línea en www.plantwebuniversity.com. Buses 101 Redes de nivel de campo Generalidades Tipos de buses Bus de sensor
Más detallesARQUITECTURA DE COMPUTADORAS
ARQUITECTURA DE COMPUTADORAS Información General Objetivos Al terminar el curso, el estudiante estará capacitado para: 1. Manejar medidas de performance que permitan comparar diversos sistemas de Computadora.
Más detallesInstrumentación Electrónica con MicroprocesadorII: Procesadores Avanzados
Instrumentación Electrónica con MicroprocesadorII: Procesadores Avanzados Microprocesadores empotrados en FPGAs. Entorno de desarrollo de Xilinx Marta Portela García DISEÑO DE SISTEMAS EMPOTRADOS Sistemas
Más detallesTest de software embebido. Sistemas embebidos para tiempo real
Test de software embebido Sistemas embebidos para tiempo real Objetivos Definir los principales conceptos de test. Identificar las diferencias de test en PC. Explicar los métodos de test embebido: en host
Más detallesTema 2 Conceptos básicos de programación. Fundamentos de Informática
Tema 2 Conceptos básicos de programación Fundamentos de Informática Índice Metodología de la programación Programación estructurada 2 Pasos a seguir para el desarrollo de un programa (fases): Análisis
Más detallesSistemas Digitales I Taller No 2: Diseño de Circuitos combinacionales usando VHDL
UNIVERSIDAD INDUSTRIAL DE SANTANDER Escuela de Ingenierías Eléctrica, Electrónica y Telecomunicaciones Sistemas Digitales I Taller No 2: Diseño de Circuitos combinacionales usando VHDL Profesor: Carlos
Más detallesTema II: Metodología para la construcción de programas. Profesora: Nelly García Mora
Tema II: Metodología para la construcción de programas Profesora: Nelly García Mora 1. Metodologías de Programación Metodología de programación: es un conjunto o sistema de métodos, principios y reglas,
Más detallesCiclos desde su nacimiento hasta su muerte. Nacimiento. Muerte
Ciclos de Vida y HCI Interacción Hombre-Máquina 2008-1 El ciclo de vida del Software Tiempo Ciclos desde su nacimiento hasta su muerte Nacimiento Muerte Proceso General Estándar 1074: Conjunto de actividades
Más detallesTÉCNICO SUPERIOR UNIVERSITARIO EN MECATRÓNICA ÁREA AUTOMATIZACIÓN EN COMPETENCIAS PROFESIONALES ASIGNATURA DE CONTROLADORES LÓGICOS PROGRAMABLES
TÉCNICO SUPERIOR UNIVERSITARIO EN MECATRÓNICA ÁREA AUTOMATIZACIÓN EN COMPETENCIAS PROFESIONALES ASIGNATURA DE CONTROLADORES LÓGICOS PROGRAMABLES 1. Competencias Desarrollar y conservar sistemas automatizados
Más detallesMáster Universitario en Tecnologías de la Información y las Comunicaciones Universidad de Alcalá Curso Académico 2013/14
Sistemas Distribuidos de Control Máster Universitario en Tecnologías de la Información y las Comunicaciones Universidad de Alcalá Curso Académico 2013/14 GUÍA DOCENTE Nombre de la asignatura: Código: 200593
Más detallesProcesos de Diseño. Andrés Djordjalian <andres@indicart.com.ar> Seminario de Sistemas Embebidos Facultad de Ingeniería de la U.B.A.
Procesos de Diseño Andrés Djordjalian Seminario de Sistemas Embebidos Facultad de Ingeniería de la U.B.A. 02:47 1de 28 Éxito Técnico vs. Éxito Económico Como desarrolladores y
Más detallesXVI. utilizarlos de la forma más eficiente posible en el diseño de sistemas digitales.
INTRODUCCIÓN En la actualidad el diseño de circuitos y sistemas digitales ha avanzado mucho respecto a sus orígenes. Ningún diseñador se plantea en la actualidad realizar un sistema digital mediante circuitos
Más detallesIntegración de LabVIEW y SolidWorks para Diseño Mecatrónico
Integración de LabVIEW y SolidWorks para Diseño Mecatrónico Carlos Pazos Technical Marketing Engineer National Instruments Mexico Agenda Concepto de Mecatrónica en Diseño Diseño de un Modelo en Solidworks
Más detallesTSP Team development. PSP2 Code reviews Design reviews. PSP1.1 Task planning Schedule planning. PSP1 Size estimating Test report
PSP0: Medición Lección 3 Aprendiendo PSP TSP Team development PSP2 Code reviews Design reviews PSP2.1 Design templates Incorpora diseño y Gestión de la calidad PSP1 Size estimating Test report PSP1.1 Task
Más detallesLA FIABILIDAD EN LOS SISTEMAS DE TELECOMUNICACIONES
LA FIABILIDAD EN LOS SISTEMAS DE TELECOMUNICACIONES Antonio Moya Catena Responsable de Calidad y Desarrollo Operativo Centro I+D, Ericsson España, S.A. Global presence and customer relationships A unique
Más detallesXII Congreso de Confiabilidad Cádiz 2010 AUTOMATIZACIÓN DEL DISEÑO DE SISTEMAS ELECTRÓNICOS CON ESPECIFICACIONES DE FIABILIDAD
XII Congreso de Confiabilidad Cádiz 2010 AUTOMATIZACIÓN DEL DISEÑO DE SISTEMAS ELECTRÓNICOS CON ESPECIFICACIONES DE FIABILIDAD Jorge Marcos, Félix Santiago, Diego Bóveda Índice Introducción Motivación
Más detallesIngeniería a de Software CC51A
Ingeniería a de Software CC51A Clase Auxiliar Auxiliar: Andrés s Neyem Oficina 418 de Doctorado aneyem@dcc.uchile.cl 19 de Marzo de 2007 Aspectos Generales Grupo CC51A Diseño Cliente Requisitos Usuario
Más detallesIFCT0209 Sistemas Microinformáticos
IFCT0209 Sistemas Microinformáticos 1. MÓDULO 1. MF0219_2 INSTALACIÓN Y CONFIGURACIÓN DE SISTEMAS OPERATIVOS UNIDAD FORMATIVA 1. UF0852 INSTALACIÓN Y ACTUALIZACIÓN DE SISTEMAS OPERATIVOS UNIDAD DIDÁCTICA
Más detalles^6+1 2^5+1 2^2+1 2^1+1 2^ ^6+1 2^0-65.
ELECTRÓNICA DIGITAL 23-I-2014 PREGUNTAS TEÓRICO PRÁCTICAS: 1. Determinar el valor decimal de los números expresados en Complemento a 2. (0.25 puntos). 10011001 10011000 01100111 1 2^6+1 2^5+1 2^2+1 2^1+1
Más detallesCARRERA DE CIECNIAS DE LA COMPUTACIÓN PROGRAMA DE ESTUDIO. Teóricos: 2 Práctico: 1 Total 3
ARQUITECTURA DE COMPUTADORES CÓDIGO Y CCO301 Total 3 Las matemática aplicada a la computación es el modelado, simulación y optimización de procesos o fenómenos, para procesos complejos, costosos, riesgosos,
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 detallesESTRUCTURA BÁSICA DE UN ORDENADOR
ESTRUCTURA BÁSICA DE UN ORDENADOR QUÉ ES UN ORDENADOR? Un ordenador es una máquina... QUÉ ES UN ORDENADOR? Un ordenador es una máquina... QUÉ ES UN ORDENADOR? Un ordenador es una máquina... Qué son los
Más detallesUML Unifield Modeling Languaje
UML Unifield Modeling Languaje 1 Modelo: Representación abstracta de una especificación, un diseño o un sistema. Generalmente, basada en una visión particular y compuesta por uno o más diagramas. Lenguaje
Más detallesTema 2 Introducción a la Programación en C.
Tema 2 Introducción a la Programación en C. Contenidos 1. Conceptos Básicos 1.1 Definiciones. 1.2 El Proceso de Desarrollo de Software. 2. Lenguajes de Programación. 2.1 Definición y Tipos de Lenguajes
Más detallesLABORATORIO DE TECNOLOGÍA DE COMPUTADORES PRÁCTICA 7
LABORATORIO DE TECNOLOGÍA DE COMPUTADORES PRÁCTICA 7 Objetivo: Diseño e implementación de un cronómetro digital usando la herramienta de diseño Xilinx Foundation. El diseño se realizará con captura de
Más detalles1. Asignar Responsabilidades a componentes de software es la habilidad más importante del AOO. Porque:
Análisis y Diseño O.O. Preguntas del diseño : Cómo podrían asignarse responsabilidades a las clases de los objetos? Cómo podrían interactuar los objetos? Qué deberían hacer las clases? Patrones : Ciertas
Más detallesEncuesta Perfil de Egreso del Ingeniero en Computación y/o Informática en Chile (Para programas de 10 semestres o más)
Encuesta Perfil de Egreso del Ingeniero en Computación y/o Informática en Chile (Para programas de 10 semestres o más) Nombre del Encuestado e-mail Nombre de la Carrera Universidad Unidad Académica Sede
Más detallesTÉCNICO SUPERIOR UNIVERSITARIO EN MECATRÓNICA ÁREA AUTOMATIZACIÓN EN COMPETENCIAS PROFESIONALES ASIGNATURA DE ELECTRICIDAD Y MAGNETISMO
TÉCNICO SUPERIOR UNIVERSITARIO EN MECATRÓNICA ÁREA AUTOMATIZACIÓN EN COMPETENCIAS PROFESIONALES ASIGNATURA DE ELECTRICIDAD Y MAGNETISMO 1. Competencias Plantear y solucionar problemas con base en los principios
Más detallesde Operaciones Área Académica: Sistemas Computacionales Tema: Tipos de Modelos en Investigación Profesor: I.S.C. Guadalupe Hernández Coca
Área Académica: Sistemas Computacionales Tema: Tipos de Modelos en Investigación de Operaciones Profesor: I.S.C. Guadalupe Hernández Coca Periodo: Julio Diciembre 2011 Keywords: investigation of operations,
Más detallesTema I. La computación en el profesional de la Ingeniería
Tema I. La computación en el profesional de la Ingeniería Objetivo: El alumno describirá el desarrollo de la computación y de los beneficios que esto conlleva, para poderla emplear en sus quehaceres académicos
Más detalles1. Torneado de piezas y conjuntos mecánicos
Torneado de piezas y conjuntos mecánicos INTRODUCCIÓN Este módulo consta de 228 horas pedagógicas y tiene como propósito que los y las estudiantes de cuarto medio de la especialidad de Mecánica Industrial
Más detallesTÉCNICO SUPERIOR UNIVERSITARIO EN MECATRÓNICA ÁREA AUTOMATIZACIÓN EN COMPETENCIAS PROFESIONALES ASIGNATURA DE INSTRUMENTACIÓN INDUSTRIAL
TÉCNICO SUPERIOR UNIVERSITARIO EN MECATRÓNICA ÁREA AUTOMATIZACIÓN EN COMPETENCIAS PROFESIONALES ASIGNATURA DE INSTRUMENTACIÓN INDUSTRIAL 1. Competencias Implementar sistemas de medición y control bajo
Más detallesAlgoritmos y solución de problemas. Fundamentos de Programación Otoño 2008 Mtro. Luis Eduardo Pérez Bernal
Algoritmos y solución de problemas Fundamentos de Programación Otoño 2008 Mtro. Luis Eduardo Pérez Bernal Introducción Departamento de Electrónica, Sistemas e Informática En las ciencias de la computación
Más detallesISO 9001 Auditing Practices Group Guidance on:
International Organization for Standardization International Accreditation Forum ISO 9001 Auditing Practices Group Guidance on: Auditando el proceso de Diseño y Desarrollo 1. Introducción El objetivo de
Más detallesDeswik.Sched Planificación con Diagramas de Gantt
Deswik.Sched Planificación con Diagramas de Gantt SOLUCIONES DE PLANIFICACIÓN QUE MARCAN LA DIFERENCIA Un nuevo enfoque dinámico y moderno de planificar Deswik.Sched está diseñado para cubrir todo el espectro
Más detallesObjetivos. Plan. Cambios de grupos Prof. sustituto: Alicia Villanueva
Ingeniería de Requerimientos Prácticas Curso 2007/08 Objetivos Aprender el manejo de una herramienta avanzada para el desarrollo rápido de prototipos: Visual Prolog Plan Semana 1: Recomendaciones IEEE
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 detallesCalidad y Reutilización de Software. Dr. Cuauhtémoc Lemus Olalde. Centro de Investigación en Matemáticas (CIMAT) Febrero, 2003
IV Ciclo de Conferencias Sistemas de Cara al Futuro Calidad y Reutilización de Software Dr. Cuauhtémoc Lemus Olalde Centro de Investigación en Matemáticas (CIMAT) Febrero, 2003 Calidad Conjunto de cualidades
Más detallesCURSO EXPERTO EN MACROS CON MICROSOFT EXCEL NIVEL AVANZADO
CURSO EXPERTO EN MACROS CON MICROSOFT EXCEL NIVEL AVANZADO 1. PERIODO DE EJECUCIÓN Duración: 36 Horas Modalidad: Presencial GRUPO A: Fecha de Inicio: 15 de agosto de 2016 Horario: Lunes a Viernes 19:00
Más detallesLa duración del curso es de cinco (5) días, ocho horas diarias, 60% de terrosa y 40% de ejemplos prácticos.
Cursos 2013 CURSO DE CERTIFICACIÓN TÜV FUNCTIONAL SAFETY ENGINEER. PRÓXIMOS CURSOS: 1) Curso Intermedio 2) Curso Avanzado MODULO BÁSICO El Modulo Básico tiene como objetivo introducir al participante en
Más detallesDescripción del Curso
Curso Práctico de Modelado de Negocios BPMN con UML Descripción del Curso Durante este curso aprenderás de forma práctica el estándar BPMN (Business Process Management Notation) y las extensiones de UML
Más detallesEstrategia de Pruebas
Estrategia de Pruebas Introducción: Las pruebas son parte integral de un proyecto y del ciclo de vida de la aplicación. Dentro un proyecto de implementación, las pruebas siguen un enfoque estructurado
Más detallesMODELO DE PLAN PRELIMINAR DE VALIDACIÓN Y VERIFICACIÓN PARA EL SISTEMA DE PROTECCIÓN DEL REACTOR CAREM
MODELO DE PLAN PRELIMINAR DE VALIDACIÓN Y VERIFICACIÓN PARA EL SISTEMA DE PROTECCIÓN DEL REACTOR CAREM Fittipaldi, A. 1, Maciel, F. 2 1 Centro Atómico Bariloche, CNEA, fittipal@cab.cnea.gov.ar 2 Centro
Más detallesDiseño arquitectónico 1ª edición (2002)
Unidades temáticas de Ingeniería del Software Diseño arquitectónico 1ª edición (2002) Facultad de Informática objetivo Los sistemas grandes se descomponen en subsistemas que suministran un conjunto relacionado
Más detallesMercedes Granda Departamento de Electrónica y Computadores. Las propiedades de las redes de Petri nos permiten
22//22 REDES DE PETRI: PROPIEDADES Y MÉTODOS DE ANÁLISIS PROGRAMACIÓN CONCURRENTE MASTER EN COMPUTACIÓN DEPARTAMENTO DE ELECTRÓNICA Y COMPUTADORES UNIVERSIDAD DE CANTABRIA CURSO 22/3 REDES DE PETRI: PROPIEDADES
Más detallesSelectRAM+memory Bloques de memoria RAM En las FPGAs Spartan IIE
1 SelectRAM+memory Bloques de memoria RAM En las FPGAs Spartan IIE tiempo de acceso RAM, algunas veces se usa cerrojo en el Juan Manuel Narváez Sánchez, Carlos Andrés Moreno Tenjica, Estudent Member IEEE
Más detallesCarga de trabajo (Workload)
La Carga de Trabajo Definición y Selección Prof. Mariela J. Curiel H. Carga de trabajo (Workload) Definición: El término carga de trabajo se usa para designar todos los requerimientos introducidos al sistema
Más detallesANALISIS Y DISEÑO DE SISTEMAS HERRAMIENTAS PARA DETERMINAR REQUERIMIENTOS DE SISTEMAS
ANALISIS Y DISEÑO DE SISTEMAS HERRAMIENTAS PARA DETERMINAR REQUERIMIENTOS DE SISTEMAS Cap. 3. Análisis y Diseño de Sistemas de Información. James Senn Sesión 3 Ana Mercedes Cáceres mercycaceres@gmail.com
Más detallesTÉCNICO SUPERIOR UNIVERSITARIO EN MECATRÓNICA
TÉCNICO SUPERIOR UNIVERSITARIO EN MECATRÓNICA HOJA DE ASIGNATURA CON DESGLOSE DE UNIDADES TEMÁTICAS 1. Nombre de la asignatura Sistemas mecánicos 2. Competencias Desarrollar y conservar sistemas automatizados
Más detalles