{"id":1463,"date":"2023-02-21T13:26:02","date_gmt":"2023-02-21T13:26:02","guid":{"rendered":"https:\/\/dsd.webs.upv.es\/?page_id=1463"},"modified":"2025-08-06T17:23:53","modified_gmt":"2025-08-06T17:23:53","slug":"operador-throughout","status":"publish","type":"page","link":"https:\/\/dsd.webs.upv.es\/?page_id=1463","title":{"rendered":"Operador Throughout"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">A menudo las aserciones toman la forma: despu\u00e9s de r es uno, entonces r ir\u00e1 a cero y permanecer\u00e1 en cero durante al menos un ciclo, entonces se pondr\u00e1 a 1.<\/p>\n\n\n<div class=\"wp-block-syntaxhighlighter-code \"><pre class=\"brush: systemverilog; title: ; notranslate\" title=\"\">\nassert propperty (@(negedge clk) r |-&gt; ##1 !r &#x5B;*1:$] ##1 r)\n<\/pre><\/div>\n\n\n<p class=\"wp-block-paragraph\">Esta es la aserci\u00f3n que chequea que <strong><em>r<\/em><\/strong> va a cero al menos un ciclo y luego vuelve\u00a0 a subir<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Supongamos ahora\u00a0 que queremos comprobar \u00a0que <strong><em>cond1<\/em><\/strong> es cierto para todos los ciclos en los que <strong><em>r<\/em><\/strong> es cero. Lo har\u00edamos mediante la siguiente aserci\u00f3n<\/p>\n\n\n<div class=\"wp-block-syntaxhighlighter-code \"><pre class=\"brush: systemverilog; title: ; notranslate\" title=\"\">\nassert propperty (@(negedge clk) r |-&gt; ##1 (cond1 throughout (!r &#x5B;*1:$])) ##1 r)\n<\/pre><\/div>\n\n\n<p class=\"wp-block-paragraph\">Fij\u00e9monos que hacemos un chequeo de una secuencia que sigue la se\u00f1al <strong><em>r<\/em><\/strong> y adem\u00e1s comprobamos que otra condici\u00f3n se cumple en determinados momentos de esta secuencia<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><\/p>\n","protected":false},"excerpt":{"rendered":"<p>A menudo las aserciones toman la forma: despu\u00e9s de r es uno, entonces r ir\u00e1 a cero y permanecer\u00e1 en cero durante al menos un ciclo, entonces se pondr\u00e1 a 1. Esta es la aserci\u00f3n que chequea que r va a cero al menos un ciclo y luego vuelve\u00a0 a subir Supongamos ahora\u00a0 que queremos comprobar \u00a0que cond1 es cierto para todos los ciclos en los que r es cero. Lo har\u00edamos mediante la siguiente aserci\u00f3n Fij\u00e9monos que hacemos un chequeo de una secuencia que sigue la se\u00f1al r y adem\u00e1s comprobamos que otra condici\u00f3n se cumple en determinados momentos de esta secuencia<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"ub_ctt_via":"","footnotes":""},"class_list":["post-1463","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\/1463","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=1463"}],"version-history":[{"count":4,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/1463\/revisions"}],"predecessor-version":[{"id":1889,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/1463\/revisions\/1889"}],"wp:attachment":[{"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1463"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}