Andújar Muñoz, Sofía(Universitat Politècnica de València, 2023-10-05)
[ES] El objetivo de este trabajo fin de grado es el diseño y verificación de una Verification Intelectual Property (VIP) del protocolo Open Core Protocol (OCP) utilizando la metodología Universal Verification Methodology ...