Buscar en RiuNet

Listar

Mostrando ítems 1-3 de 3

Desarrollo de un constructor de bancos de pruebas para la verificación formal de interfaces de comunicaciones de circuitos integrados.

Barrera Comeche, Vicente (Universitat Politècnica de València, 2024-09-26)

[ES] La verificación formal es una verificación muy usada en la verificación de interfaces y componentes sencillos en empresas de microelectrónica, esta verificación a diferencia de las típicas verificaciones funcionales ...
Efficient Safety Enforcement for Maude Programs via Program Specialization in the ÁTAME system

Alpuente Frasnedo, María; Ballis, D.; Sapiña-Sanchis, Julia (Springer, 2020-09)

[EN] Program specialization is mainly recognized as a powerful technique for optimizing software systems. Nonetheless, it can also be productively employed in other application areas. This paper presents an assertion-guided ...
VERIFICACIÓN BASADA EN MÉTRICAS DEL DISEÑO DE UN ROIC

Melgar Beltrán, Tomás (Universitat Politècnica de València, 2024-09-26)

[ES] Este trabajo trata sobre la verificación digital de un circuito integrado encargado de proporcionar digitalmente las lecturas que le llegan de un sensor de píxeles activos. Este dispositivo está siendo desarrollado ...

Mostrando ítems 1-3 de 3