{"id":512,"date":"2020-10-21T14:48:00","date_gmt":"2020-10-21T14:48:00","guid":{"rendered":"http:\/\/dsd.webs.upv.es\/?page_id=512"},"modified":"2025-08-06T16:56:49","modified_gmt":"2025-08-06T16:56:49","slug":"program","status":"publish","type":"page","link":"https:\/\/dsd.webs.upv.es\/?page_id=512","title":{"rendered":"Program"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">Estamos ante una construcci\u00f3n que pretend\u00eda en su creaci\u00f3n que aglutinara todas las estructuras de test que necesit\u00e1ramos para controlar los estimulos a introducir a un DUV y para observar los resultados del DUV.<\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"670\" height=\"471\" src=\"https:\/\/dsd.webs.upv.es\/wp-content\/uploads\/2020\/10\/image-1.png\" alt=\"\" class=\"wp-image-513\" srcset=\"https:\/\/dsd.webs.upv.es\/wp-content\/uploads\/2020\/10\/image-1.png 670w, https:\/\/dsd.webs.upv.es\/wp-content\/uploads\/2020\/10\/image-1-300x211.png 300w\" sizes=\"auto, (max-width: 670px) 100vw, 670px\" \/><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">El \u201c test\u201d (program) corre separadamente del dise\u00f1o (module) <\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Disparado por el reloj <\/li>\n\n\n\n<li>Muestrea las salidas del DUV justo antes del flanco activo de reloj y <\/li>\n\n\n\n<li>Conduce las entradas del DUV justo despu\u00e9s de dicho flanco<\/li>\n<\/ul>\n\n\n\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"889\" height=\"577\" src=\"https:\/\/dsd.webs.upv.es\/wp-content\/uploads\/2020\/10\/image-2.png\" alt=\"\" class=\"wp-image-514\" srcset=\"https:\/\/dsd.webs.upv.es\/wp-content\/uploads\/2020\/10\/image-2.png 889w, https:\/\/dsd.webs.upv.es\/wp-content\/uploads\/2020\/10\/image-2-300x195.png 300w, https:\/\/dsd.webs.upv.es\/wp-content\/uploads\/2020\/10\/image-2-768x498.png 768w\" sizes=\"auto, (max-width: 889px) 100vw, 889px\" \/><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">Programs SON COMO M\u00d3DULOS, pero:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>No pueden contener always<\/li>\n\n\n\n<li>No pueden incluir m\u00f3dulos<\/li>\n\n\n\n<li>La simulaci\u00f3n finaliza autom\u00e1ticamente cuando todos los estamentos\u00a0 del initial se han completado<\/li>\n\n\n\n<li>Normalmente define un \u00abtest\u00bb con comportamiento libre de carreras\n<ul class=\"wp-block-list\">\n<li>Definici\u00f3n de est\u00edmulos<\/li>\n\n\n\n<li>Elementos de verificaci\u00f3n <\/li>\n<\/ul>\n<\/li>\n\n\n\n<li>No permite comportamiento concurrente <\/li>\n\n\n\n<li>Puede ser instanciado en un testbench como si de un m\u00f3dulo se tratara<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">Los programas pueden hacer todo lo necesario para la verificaci\u00f3n, con lo cual hablaremos de ellos de nuevo cuando planteemos una arquitectura de testbench\u2026 pero veamos un peque\u00f1o ejemplo<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><a href=\"https:\/\/www.edaplayground.com\/x\/cYS3\" target=\"_blank\" rel=\"noreferrer noopener\"><img loading=\"lazy\" decoding=\"async\" width=\"295\" height=\"71\" src=\"https:\/\/dsd.webs.upv.es\/wp-content\/uploads\/2023\/09\/image-3.png\" alt=\"\" class=\"wp-image-1504\"\/><\/a><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\"><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Estamos ante una construcci\u00f3n que pretend\u00eda en su creaci\u00f3n que aglutinara todas las estructuras de test que necesit\u00e1ramos para controlar los estimulos a introducir a un DUV y para observar los resultados del DUV. El \u201c test\u201d (program) corre separadamente del dise\u00f1o (module) Programs SON COMO M\u00d3DULOS, pero: Los programas pueden hacer todo lo necesario para la verificaci\u00f3n, con lo cual hablaremos de ellos de nuevo cuando planteemos una arquitectura de testbench\u2026 pero veamos un peque\u00f1o ejemplo<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":510,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_crdt_document":"","ub_ctt_via":"","footnotes":""},"class_list":["post-512","page","type-page","status-publish","hentry"],"featured_image_src":null,"_links":{"self":[{"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/512","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=512"}],"version-history":[{"count":3,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/512\/revisions"}],"predecessor-version":[{"id":1863,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/512\/revisions\/1863"}],"up":[{"embeddable":true,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/510"}],"wp:attachment":[{"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=512"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}