{"id":336,"date":"2020-09-25T18:37:55","date_gmt":"2020-09-25T18:37:55","guid":{"rendered":"http:\/\/dsd.webs.upv.es\/?page_id=336"},"modified":"2025-08-06T17:12:37","modified_gmt":"2025-08-06T17:12:37","slug":"asercion-monociclo","status":"publish","type":"page","link":"https:\/\/dsd.webs.upv.es\/?page_id=336","title":{"rendered":"Aserci\u00f3n monociclo con implicaci\u00f3n"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">Si&nbsp; \u201ca\u201d es&nbsp; \u201c1\u201d entonces \u201cb\u201d debe de ser \u201c1\u201d  <\/p>\n\n\n<div class=\"wp-block-syntaxhighlighter-code \"><pre class=\"brush: systemverilog; title: ; notranslate\" title=\"\">\nassert property (@(negedge clk) a |-&gt; b)\n<\/pre><\/div>\n\n\n<p class=\"wp-block-paragraph\">El concepto de implicaci\u00f3n en las aserciones es una especie de condici\u00f3n de habilitaci\u00f3n de las mismas. Si en un negedge clk la se\u00f1al <strong>a<\/strong> no est\u00e1 igual a <strong>1<\/strong>, la aserci\u00f3n no est\u00e1 habilitada y por tanto no puede fallar<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">\u00bfAlternativas sin fallo?<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Pues si la aserci\u00f3n no esta habilitada: a=0 (independientemente de c\u00f3mo est\u00e9 b)<\/li>\n\n\n\n<li>Si la aserci\u00f3n est\u00e1 habilitada y la condici\u00f3n de la aserci\u00f3n es cierta: a=1, b=1<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">En el mundo de la cobertura funcional se considera que una aserci\u00f3n es cubierta si y solo si ha sido habilitada alguna vez. Ni que decir tiene que una aserci\u00f3n sin implicaci\u00f3n siempre est\u00e1 habilitada y por tanto siempre es cubierta.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Si&nbsp; \u201ca\u201d es&nbsp; \u201c1\u201d entonces \u201cb\u201d debe de ser \u201c1\u201d El concepto de implicaci\u00f3n en las aserciones es una especie de condici\u00f3n de habilitaci\u00f3n de las mismas. Si en un negedge clk la se\u00f1al a no est\u00e1 igual a 1, la aserci\u00f3n no est\u00e1 habilitada y por tanto no puede fallar \u00bfAlternativas sin fallo? En el mundo de la cobertura funcional se considera que una aserci\u00f3n es cubierta si y solo si ha sido habilitada alguna vez. Ni que decir tiene que una aserci\u00f3n sin implicaci\u00f3n siempre est\u00e1 habilitada y por tanto siempre es cubierta.<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":183,"menu_order":8,"comment_status":"closed","ping_status":"closed","template":"","meta":{"ub_ctt_via":"","footnotes":""},"class_list":["post-336","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\/336","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=336"}],"version-history":[{"count":9,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/336\/revisions"}],"predecessor-version":[{"id":1878,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/336\/revisions\/1878"}],"up":[{"embeddable":true,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/183"}],"wp:attachment":[{"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=336"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}