Mostrar el registro sencillo del ítem

dc.contributor.advisorPaolini, Eduardo
dc.contributor.advisorRodríguez, Agustín
dc.contributor.authorPachiana Caba, Gabriel H.
dc.date2015-11-30
dc.date.accessioned2016-07-15T17:22:15Z
dc.date.available2016-07-15T17:22:15Z
dc.date.issued2015es
dc.identifier.other2015-1415pes
dc.identifier.urihttp://repositoriodigital.uns.edu.ar/handle/123456789/2694
dc.description.abstractEl objetivo de este trabajo es el estudio y el desarrollo de tecnolog´ıas de verificaci´on funcional de sistemas digitales especificados a nivel de transferencia entre registros (RTL por sus siglas en ingl´es, Register Transfer Level). M´as precisamente, se experimenta con metodolog´ıas y herramientas de verificaci´on orientadas a n´ucleos (cores) o bloques aritm´eticos y de procesamiento digital de se˜nales (PDS). Se describen conocimientos generales de verificaci´on de sistemas digitales de muy gran escala de integraci´on (VLSI, Very Large Scale Integration) de manera de comprender los principales problemas en este ´area. Se describen los conceptos te´oricos relacionados a la verificaci´on funcional de hardware y la problem´atica espec´ıfica de PDS. Se definen y experimentan los aspectos formales y pr´acticos de las t´ecnicas de verificaci´on funcional orientadas a unidades de c´alculo aritm´etico y de procesamiento de se˜nales, a trav´es de su aplicaci´on en bloques de distintas complejidades como pueden ser los filtros con respuesta infinita al impulso (IIR, Infinite Impulse Response) o transformada r´apida de Fourier (FFT, Fast Fourier Transform).es
dc.description.abstractThe objective of this work is the study and development of functional verification technologies for digital systems at register transfer level (RTL). Also, to experience with verification methodologies and tools oriented to arithmetic and digital signal processing (DSP) cores. General knowledge of verification for VLSI (Very Large Scale Integration) systems is described to understand the main problems in this area. Theoretical concepts related to hardware functional verification and the relation with PDS specific systems are addressed. Functional verification concepts are applied to the definition of formal and practical implementations to address the functional verification of arithmetic units and DSP cores, for example infinite impulse response (IIR) digital filters and fast Fourier transform (FFT) cores.es
dc.language.isospaes
dc.rightsReconocimiento 4.0 (CC BY 4.0)es
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/
dc.subjectIngenieríaes
dc.subjectVerificaciónes
dc.subjectSistemas digitaleses
dc.titleTécnicas de verificación orientadas a sistemas digitales de procesamiento de señaleses
dc.typetesis de maestríaes
bcuns.collection.nameBiblioteca Digital Académicaes
bcuns.collection.acronymBDAes
bcuns.collection.urlhttp://tesis.uns.edu.ar/es
bcuns.collection.institutionBiblioteca Central de la Universidad Nacional del Sures
bcuns.depositorylibrary.nameBiblioteca Central de la Universidad Nacional del Sures
bcuns.author.affiliationUniversidad Nacional del Sur. Departamento de Ingeniería Eléctrica y de Computadorases
bcuns.advisor.affiliationUniversidad Nacional del Sures
bcuns.defense.cityBahía Blancaes
bcuns.defense.provinceBuenos Aireses
bcuns.defense.countryArgentinaes
bcuns.programme.nameMaestría en Ingenieríaes
bcuns.programme.departmentDepartamento de Ingeniería Eléctrica y de Computadorases
bcuns.thesisdegree.nameMagíster en Ingenieríaes
bcuns.thesisdegree.grantorUniversidad Nacional del Sures
uns.type.publicationVersionaccepteden
bcuns.depositarylibrary.acronymEUNes
dcterms.accessRights.openAireinfo:eu-repo/semantics/openAccesses


Ficheros en el ítem

Thumbnail
Thumbnail
Thumbnail
Thumbnail

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem

Reconocimiento 4.0 (CC BY 4.0)
Excepto si se señala otra cosa, la licencia del ítem se describe como Reconocimiento 4.0 (CC BY 4.0)