ListarRepositorio Institucional Digital de la Biblioteca Central "Profesor Nicolás Matijevic" de la Universidad Nacional del Sur por tema "Verificación"
Mostrando ítems 1-2 de 2
-
Técnicas de verificación orientadas a sistemas digitales de procesamiento de señales
(2015)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 ... -
Verificación de circuitos digitales descritos en HDL
(2015)En el ámbito del diseño de circuitos integrados, el proceso de asegurar que la intención del diseño es mapeada correctamente en su implementación se denomina verificación funcional. En este contexto, los errores lógicos ...