{"id":378,"date":"2020-09-30T11:35:46","date_gmt":"2020-09-30T11:35:46","guid":{"rendered":"http:\/\/dsd.webs.upv.es\/?p=378"},"modified":"2025-08-06T17:16:07","modified_gmt":"2025-08-06T17:16:07","slug":"aserciones-multiciclo","status":"publish","type":"page","link":"https:\/\/dsd.webs.upv.es\/?page_id=378","title":{"rendered":"Aserciones multiciclo"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">La comprobaci\u00f3n del comportamiento deseado afecta varios ciclos <\/p>\n\n\n<div class=\"wp-block-syntaxhighlighter-code \"><pre class=\"brush: systemverilog; title: ; notranslate\" title=\"\">\nassert propperty (@(negedge clk) a==2 ##1 a==4);\n<\/pre><\/div>\n\n\n<p class=\"wp-block-paragraph\"><\/p>\n\n\n\n<figure class=\"wp-block-table is-style-stripes\"><table><tbody><tr><td>a:<\/td><td>2<\/td><td>4<\/td><td>2<\/td><td>2<\/td><td>4<\/td><\/tr><tr><td>c:<\/td><td>0<\/td><td><span class=\"has-inline-color has-vivid-red-color\">1<\/span><\/td><td>2<\/td><td><span class=\"has-inline-color has-vivid-red-color\">3<\/span><\/td><td>4<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<ul class=\"wp-block-list\">\n<li>La comprobaci\u00f3n se realiza igualmente en todos los ciclos (<strong>con solapamiento<\/strong>) <\/li>\n\n\n\n<li>La aserci\u00f3n falla tan pronto se comprueba que dicha secuencia no puede ocurrir\n<ul class=\"wp-block-list\">\n<li>En el ciclo 0: la comprobaci\u00f3n es cierta en el primer elemento de la secuencia<\/li>\n\n\n\n<li>En el ciclo 1: la comprobaci\u00f3n es cierta en el segundo elemento de la secuencia; sin embargo hay fallo por una nueva secuencia que se inicializa y en la que ya no hay coincidencia en el primer elemento de la secuencia. En 1 sabemos que la secuencia nunca coincidir\u00e1 y ya damos el fallo y abortamos dicha comprobaci\u00f3n de esta secuencia<\/li>\n\n\n\n<li>En el ciclo 2: falla en ciclo 3. En 2 creemos que la secuencia podr\u00eda coincidir (puesto que el primer elemento coincide) y al ciclo 3 nos damos cuenta de que est\u00e1bamos equivocados<\/li>\n\n\n\n<li>En el ciclo 3: Finaliza la comprobaci\u00f3n de la secuencia que falla en su segundo elemento y comienza la comprobaci\u00f3n de una nueva secuencia en la cual el primer elemento es correcto y el segundo coincidir\u00e1  en ciclo 4<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>La comprobaci\u00f3n del comportamiento deseado afecta varios ciclos a: 2 4 2 2 4 c: 0 1 2 3 4<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":503,"menu_order":9,"comment_status":"open","ping_status":"closed","template":"","meta":{"_crdt_document":"","ub_ctt_via":"","footnotes":""},"class_list":["post-378","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\/378","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\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=378"}],"version-history":[{"count":9,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/378\/revisions"}],"predecessor-version":[{"id":1883,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/378\/revisions\/1883"}],"up":[{"embeddable":true,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/503"}],"wp:attachment":[{"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=378"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}