El 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). / The 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.
| Identifer | oai:union.ndltd.org:uns.edu.ar/oai:repositorio.bc.uns.edu.ar:123456789/2694 |
| Date | 30 November 2015 |
| Creators | Pachiana Caba, Gabriel H. |
| Contributors | Paolini, Eduardo, Rodríguez, Agustín |
| Publisher | Universidad Nacional del Sur |
| Source Sets | Universidad Nacional del Sur |
| Language | Spanish |
| Detected Language | Spanish |
| Type | Electronic Thesis or Dissertation, Text |
| Rights | 2 |
Page generated in 0.002 seconds