Desarrollo de un ambiente de verificación para una unidad lógica aritmética mediante la metodología universal de verificación (UVM). /

QR Code

Desarrollo de un ambiente de verificación para una unidad lógica aritmética mediante la metodología universal de verificación (UVM). /

Bibliographic Details
Main Author:	Valenciano-Blanco, Pablo André
Format:	Thesis Book
Language:	Spanish
Published:	Cartago, Costa Rica : P. A. Valenciano B., 2018.
Subjects:	Instituto Tecnológico de Costa Rica Unidad central de proceso Metodología Verificación Programas Hardware Costa Rica > Cartago Tesis

Similar Items

Implementación de un ambiente de verificación UART mediante UVM /
by: Alvarez-Hernández, Carlos Alberto
Published: (2018)

Diseño de un ambiente de verificación basado en la metodología UVM para un microprocesador RISC-V 321 /
by: Rojas-Chacón, Daniel
Published: (2018)

Verificación funcional de un controlador de memoria para un dispositivo médico implantable. /
by: Rodríguez-Mejía, Jean Carlo
Published: (2018)

Creación de un ambiente de verificación usando UVM para un bus AXI4-Lite para una arquitectura RISC-V de 32 bits. /
by: Rivera-Arrieta, Irene Beatriz
Published: (2018)

Diseño e implementación de un ambiente de verificación funcional con estándar UVM para segunda versión de microcontrolador Siwa /
by: Picado-García, Fabián Alberto
Published: (2022)

Desarrollo de una plataforma de verificación sistemas de actitud de pequeños satélites para trabajar en una cámara de vacío /
by: Hernández-Herrera, Marcos
Published: (2016)

Diseño de un sistema de monitoreo para la determinación de la curva de vuelo de la broca en plantaciones de café mediante procesamiento digital de imágenes /
by: Aguilar-Quirós, Karina Vanessa
Published: (2018)

Sistematización de los procesos de inspección de obras especiales desarrolladas en Recope /
by: Álvarez Herrera, Hellen
Published: (2011)

Guía para uniformar la verificación de resultados de metas del Plan Nacional de Desarrollo e Inversión Pública (PNDIP) y de la Ley de Presupuesto de la República (LPR), 2021 /
Published: (2022)

Manual de verificación de calidad de uniones soldadas en tuberías de alta presión /
by: Chavarría-Valverde, Cynthia María
Published: (1995)

Análisis comparativo de clasificadores para gestos descritos por LaGeR /
by: Mesén-Solorzano, Milena
Published: (2018)

Integración de bases de datos relacionales mediante conjuntos aproximados /
by: Duran-Valverde, Óscar
Published: (1998)

Desarrollo de plataforma UAS de ala fija para aplicaciones de fotogrametría /
by: Gutiérrez-Leiva, Edgar Mario
Published: (2017)

Sistema curriculum /
by: Mora-González, Sonia A.
Published: (1988)

Elaboración de un plan de gestión de calidad dentro el proceso de administración de proyectos de Softon /
by: Rodríguez-Salas, Olivier
Published: (2015)

Sistema de control de inventario. /
by: Vargas-Méndez, Leticia
Published: (1994)

Sistema de tiempo Real para el análisis de vibración en puentes /
by: Arias-Esquivel, Yeiner
Published: (2015)

Market Beat, una start-up al ritmo de la música ( y el espacio) inteligente /
by: Contreras, Claudia

Interfaz para la interconexión de teclados especiales a una microcomputadora IBM PS/2 modelo 25 /
by: Coto-Gómez, Jose Fco.
Published: (1991)

Compras por teléfono (Voice Mall). /
by: Romoroso-Carmona, Luis
Published: (1985)

Sistema de adquisición de datos y telemetría /
by: Brenes, Róger
Published: (1991)

Microbiología de la cadena alimentaria -Validación del método - Parte 3: Protocolo para la verificación de los métodos de referencia y los métodos alternativos validados en un solo laboratorio : INTE/ISO 16140-3:2021 /
Published: (2021)

Diseño de una unidad de deslinealización y desnormalización para un sistema de optimización de energía de uso en paneles fotovoltaicos /
by: Rojas-Salazar, Juan José
Published: (2016)

Diseño e implementación de una Unidad Aritmética de Coma Flotante (FPU) genérica y flexible /
by: Sequeira-Rojas, Jorge Esteban
Published: (2016)

Improving redundant multithreading performance for soft-error detection in HPC applications /
by: Pérez-Arroyo, Diego Simón
Published: (2018)

Fundamentos de lógica digital con diseño VHDL /
by: Brown, Stephen
Published: (2006)

Verificación de los procedimientos estándar de los procesos de auditorías internas y de control de documentación con la Norma ISO inte 9001-2001 /
by: Pizarro-Morgan, Adrián
Published: (2004)

Introducción a la computación cuántica para ingenieros /
by: Terán-Pérez, David Moisés
Published: (2012)

Modelo para el manejo del control de la concurrencia en ambientes móviles considerando desconexiones frecuentes /
by: Murillo-Morera, Juan de Dios
Published: (2014)

Sequential code parallelization for multi-core embedded systems : a survey of models, algorithms and tools /
by: Castro-Godínez, Jorge
Published: (2014)

Elementos básicos en el planteamiento de la unidad lincos para el Tec y base de datos del sistema de monitoreo y control /
by: Guevara-Chaves, Ernesto
Published: (2000)

Control automático programable, monitoreo y alarma para equipos industriales /
by: Navarro-Rojas, Oscar
Published: (1990)

Caracterización de la interfaz y formalización del conocimiento en el modelo del estudiante de un sistema tutor inteligente en el dominio de la física.
by: Mejía-Figueroa, William Ernesto
Published: (1999)

SFTP : protocolo para la transmisión de faxes utilizando redes de area local /
by: Bogarín-Navarro, Rodrigo
Published: (1996)

SYLVANIA : automatic test unit /
by: Ramírez-Montero, Carlos Humberto
Published: (1995)

Diseño y construcción de un sistema medidor de fuerza de actuación y liberación así como diferencial de desplazamiento en interruptores Unimax /
by: Campos-Herrera, Eduardo
Published: (1995)

Diseño de un Algoritmo mediante procesamiento de imágenes para la determinación y control de la posición del brazo Amatrol Pegasus I en el Instituto Tecnológico de Costa Rica Sede San Carlos /
by: Durán-Solano, Randald
Published: (2018)

Curso de windows word /
by: Díaz-Salcedo, Juan Manuel
Published: (2003)

Instituto Tecnológico de Costa Rica /
by: Quesada Aguilar, Norberto
Published: (1993)

Sustitución digital del robot de supervisión de una central telefónica Pentaconta PC-1000 /
by: Lizano-Villegas, Alexander
Published: (1995)