Contribuciones a la verificación funcional moderna

El incesante desarrollo tecnológico en la industria del silicio y la necesidad de cumplir con tiempos de mercado competitivos han llevado al desarrollo de nuevas técnicas de diseño y verificación funcional. En este trabajo de tesis se presentan diferentes aportes a la verificación funcional moderna...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Goñi, Oscar Enrique
Otros Autores:	Todorovich, Elías
Formato:	Tesis Tesis de doctorado
Lenguaje:	Español
Publicado:	2015
Materias:	Ciencias Informáticas punto flotante Verification Computer arithmetic análisis de resolución HIL Simulation HDL
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/49326 https://doi.org/10.35537/10915/49326
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Model checking: un modelo del protocolo Gnutella : Simulación y verificación usando SPIN
por: De Vito, María Cecilia, et al.
Publicado: (2006)

Shorter table ATA evaluation of elementary functions in single precision
por: Bria, Oscar N.
Publicado: (2003)

Open Arithmetics Fortran 90
por: Regis, Germán, et al.
Publicado: (2005)

Biofertilizantes : análisis genómico y trazabilidad de Bacillus sp. aislados de Ilex paraguariensis St. Hil. con propiedades de promoción del crecimiento vegetal
por: Cortese, Liliana Julieta
Publicado: (2022)

Conversión de RGB a YCbCr en System Generator y HLS
por: Molina, Romina, et al.
Publicado: (2015)

A fast CORDIC co-processor architecture for digital signal processing applications
por: Giacomantone, Javier, et al.
Publicado: (2000)

Aplicación y valoración de la verificación y validación de software: una encuesta realizada en Buenos Aires
por: De Greca, Francisco, et al.
Publicado: (2015)

A Comparative Study between HLS and HDL on SoC for Image Processing Applications
por: Millón, Roberto, et al.
Publicado: (2020)

Adopción de Verilog en materias de diseño digital
por: Gho, Edgardo, et al.
Publicado: (2023)

Proactive Independent Learning Approach: A case study in computer arithmetic
por: Giacomantone, Javier, et al.
Publicado: (2017)

Verificación de propiedades temporales de diseños community: un caso de estudio
por: Aguirre, Nazareno Matías, et al.
Publicado: (2005)

Elevated HDL as a stress-related factor in patients with acute coronary heart disease
por: Henao Pérez, Marcela, et al.
Publicado: (2023)

Verificación del hablante mediante dispositivos móviles en entornos ruidosos
por: Etchart, Graciela, et al.
Publicado: (2017)

DSP con FPGA usando herramientas de conversión de modelos de simulación a HDL
por: Yelpo, Víctor, et al.
Publicado: (2011)

Bioferitilizantes : análisis genómico y trazabilidad de bacillus sp. aislados de ilex paraguariensis st. Hil. con propiedades de promoción del crecimiento vegetal
por: Cortese, Iliana Julieta
Publicado: (2022)

Estructura de Computadores: lección 10 - aritmética de punto flotante
por: Aguilera, Sergio
Publicado: (2015)

Herramientas para la exploración y formalización de modelos de programas probabilísticos
por: Gonzalía, Carlos José
Publicado: (2014)

Verificación de lógicas modales dinámicas en Coq
por: Trucco, Francisco Carlos
Publicado: (2020)

Verificación de lógicas modales dinámicas en Coq
por: Trucco, Francisco Carlos
Publicado: (2020)

Open Arithmetic Fortran (OAF) : Una herramienta para el soporte de múltiples aritméticas de punto flotante
por: Aguirre, Jorge, et al.
Publicado: (2001)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
por: Yoeli, Michael, 1917-
Publicado: (2008)

Formalización de las estructuras de los esquemas de argumentación
por: Budán, Paola D., et al.
Publicado: (2012)

Art of computer programming : seminumerical algorithms
por: Migliardi, Francisco N. O.
Publicado: (1973)

Amyloidogenic propensity of a natural variant of human apolipoprotein A-I: Stability and interaction with ligands
por: Rosu, Silvana Antonia, et al.
Publicado: (2015)

Estudio de la remoción de as(III) en soluciones acuosas mediante óxidos mixtos de mgaife obtenidos a partir de hidróxidos dobles laminares
por: Gómez Ávila, Jenny, et al.
Publicado: (2022)

Efecto de la inflamación crónica asociada a alto riesgo de enfermedad cardiovascular sobre el metabolismo lipoproteico y la funcionalidad de las HDL y sus subfracciones
por: Botta, Eliana Elizabeth
Publicado: (2020)

Autoagregación de apolipoproteína A-I humana : Estudios con mutantes de cisteína marcadas con pirenil-maleimida
por: Tarraga, W., et al.
Publicado: (2016)

Evaluación de óxidos mixtos de mg-al-fe en la remoción de arsénico en agua.
por: Garay, Fernando, et al.
Publicado: (2022)

Verificación formal y refinamientos en P/PML
por: Díaz, Javier Roberto
Publicado: (2001)

Generación y caracterización de complejos HDL discoidales con fosfolípidos insaturados
por: Chirillano, Lucio Alfonso
Publicado: (2019)

Al sur del mundo : Tenaum, donde las casas navegan

Generalized polar varieties: Geometry and algorithms
por: Bank, B., et al.
Publicado: (2005)

Generalized polar varieties: Geometry and algorithms
por: Bank, B., et al.

Generalized polar varieties: Geometry and algorithms
Publicado: (2005)

Generalized polar varieties: Geometry and algorithms
por: Bank, B., et al.
Publicado: (2005)

El déficit de vitamina d se asocia a factores de riesgo en personas sin antecedentes cardiovasculares
por: Seporian, Ignacio M, et al.
Publicado: (2013)

El déficit de vitamina d se asocia a factores de riesgo en personas sin antecedentes cardiovasculares
por: Seporian, Ignacio M, et al.
Publicado: (2013)

Verificación formal de protocolos distribuidos
por: Naser Pastoriza, Alejandro José
Publicado: (2020)

Verificación formal de protocolos distribuidos
por: Naser Pastoriza, Alejandro José
Publicado: (2020)

La aritmética elemental en la formación matemática /
por: Gentile, Enzo R.
Publicado: (1991)