Contribuciones a la verificación funcional moderna (Record no. 57695)

MARC details
000 -CABECERA
campo de control de longitud fija 05152nam a2200241 a 4500
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control AR-LpUFIB
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20250311171204.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 230201s2015 ag a om 000 0 spa d
024 8# - Otro identificador estandar
Número estándar o código DIF-M8648
-- 8873
-- DIF007922
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen AR-LpUFIB
Lengua de catalogación spa
Centro/agencia transcriptor AR-LpUFIB
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Goñi, Oscar
245 10 - MENCIÓN DE TÍTULO
Título Contribuciones a la verificación funcional moderna
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Fecha de publicación, distribución, etc. 2015
300 ## - DESCRIPCIÓN FÍSICA
Extensión 1 archivo (6,3 MB) :
Otras características físicas il. col.
502 ## - NOTA DE TESIS
Nota de tesis Tesis (Doctorado en Ciencias Informáticas) - Universidad Nacional de La Plata. Facultad de Informática, 2015.
505 0# - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato 1. Introducción -- 1.1. El proceso de verificación funcional -- 1.2. Interacción dentro del desarrollo de un proyecto -- 1.3. Organización del trabajo -- 2. Fundamentos -- 2.1. Verificación funcional tradicional -- 2.1.1. Verificación basado en integración -- 2.1.2. Verificación de microprocesadores -- 2.1.3. Emulación y aceleración -- 2.2. Elementos de la verificación funcional moderna -- 2.2.1. Generación aleatoria con restricciones -- 2.2.2. Programación orientada a objetos en verificación funcional -- 2.2.3. Frameworks para verificación funcional -- 2.2.4. Aserciones -- 2.3. Verificación basada en aserciones -- 2.3.1. Inicios -- 2.3.2. Introducción en la industria -- 2.3.3. Verificación dirigida por la cobertura -- 2.4. Conclusiones del capítulo -- 3. Experiencias aplicando Frameworks para Verificación Funcional en unidades de punto flotante -- 3.1. Introducción -- 3.2. Trabajo relacionado -- 3.3. El estándar IEEE754-2008 -- 3.3.1. Formatos -- 3.3.2. Conjuntos de datos de punto flotante -- 3.3.3. Estrategias de redondeo -- 3.3.4. Aritmética infinita -- 3.3.5. Operaciones con NaNs -- 3.4. Diseño de un Sumador/Restador IEEE754-2008 -- 3.5. Plan de verificación -- 3.6. Instanciación de los frameworks -- 3.6.1. Truss -- 3.6.2. OVM -- 3.6.3. Modelo de referencia -- 3.7. Resultados -- 3.7.1. Resultados de la verificación funcional -- 3.7.2. Evaluación de la experiencia -- 3.8. Conclusiones del capítulo -- 4. Diseño metodológico de monitores de verificación para unidades de punto flotante -- 4.1. Trabajo relacionado -- 4.2. El mecanismo de verificación -- 4.2.1. Monitor de Verificación -- 4.2.2. Generación de entradas -- 4.3. Caso de estudio: Suma y Resta -- 4.3.1. Estructura del generador -- 4.3.2. Definición de puntos de cobertura -- 4.4. Implementación -- 4.4.1. Implementación del modulo generador -- 4.4.2. Implementación del colector de cobertura -- 4.4.3. Implementación del módulo Checker -- 4.4.4. Instantiación dentro de Frameworks de Verificación -- 4.5. Evaluación de los componentes de verificación -- 4.5.1. Configuración del Test 1 -- 4.5.2. Configuración del Test 2 -- 4.6. Conclusiones del capitulo -- 5. Verificación automatizada -- 5.1. Introducción -- 5.2. Generación automatizada de casos de prueba -- 5.3. Automatización mediante Scripts -- 5.3.1. Automatización mediante componentes de verificación -- 5.4. Análisis automatizado de resultados -- 5.4.1. Análisis mediante Scripts -- 5.4.2. Análisis mediante componentes de verificación -- 5.4.3. Nivel Transacción -- 5.4.4. Nivel Secuencia -- 5.4.5. Nivel Test -- 5.4.6. Nivel Escenario -- 5.5. Caso de estudio: Verificación de modelos HIL para convertidores de potencia -- 5.5.1. Motivación -- 5.6. Breve reseña de Modelos HIL -- 5.7. Verificación del BoostConverter QXY -- 5.7.1. Breve reseña del formato QXY -- 5.7.2. Interface -- 5.7.3. Sequencer -- 5.7.4. Driver -- 5.7.5. DUV -- 5.7.6. Monitor -- 5.7.7. Scoreboard -- 5.7.8. Transacciones -- 5.8. Verificación con OVM del convertidor a lazo abierto -- 5.8.1. Scoreboard -- 5.8.2. Driver -- 5.8.3. Monitor -- 5.8.4. Definición de escenarios -- 5.8.5. Scripts -- 5.9. Resultados -- 5.9.1. Cobertura de código -- 5.9.2. Profiling -- 5.10. Conclusiones del capítulo -- 6. Análisis de resolución asistido por la Verificación funcional -- 6.1. Introducción -- 6.1.1. El problema de la resolución -- 6.2. Método 1 - Enfoque basado en simulación -- 6.3. Método 2 - Enfoque analítico -- 6.4. Resultados -- 6.4.1. Escenarios de prueba -- 6.4.2. Análisis de área y frecuencia -- 6.4.3. Resultados del Método 1 -- 6.4.4. Resultados del Método 2 -- 6.5. Conclusiones del capitulo -- 7. Conclusiones del trabajo -- 7.1. La interminable tarea de verificación -- 7.2. Un nuevo enfoque de la verificación -- 7.3. Producción surgida del presente trabajo de tesis -- 7.4. Trabajo futuro -- A. Verificación del modelo de convertidor de potencia: Resultados -- A.1. Carga tipo corriente y tensión de entrada alternada -- A.2. Carga tipo resistencia y tensión de entrada alternada -- A.3. Carga tipo potencia y tensión de entrada alternada -- A.4. Carga tipo corriente y tensión de entrada fluctuante -- Bibliografía
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada DISEÑO DE FRAMEWORKS
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO
Término no controlado verificación de diseños
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Todorovich, Elías ,
-- Director/a
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Díaz, Francisco Javier ,
-- Codirector/a
9 (RLIN) 4623
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme del Recurso <a href=" http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=2561"> http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=2561</a>
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha Tesis de posgrado
Holdings
Estado de retiro Estado de pérdida Estado dañado Disponibilidad Biblioteca permanente Biblioteca actual Fecha de adquisición Número de inventario Total de préstamos Signatura topográfica completa Código de barras Fecha visto por última vez Precio válido a partir de Tipo de ítem Koha Colección Identificador Uniforme del Recurso
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 11/03/2025 DIF-05214   TES 15/69 DIF-05214 11/03/2025 11/03/2025 Tesis de posgrado    
      Recurso en Línea Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 11/03/2025         11/03/2025 11/03/2025 Tesis de posgrado Biblioteca digital https://doi.org/10.35537/10915/49326
      Recurso en Línea Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 11/03/2025         11/03/2025 11/03/2025 Tesis de posgrado Biblioteca digital http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=2561