{"id":307,"date":"2020-09-25T12:37:45","date_gmt":"2020-09-25T12:37:45","guid":{"rendered":"http:\/\/dsd.webs.upv.es\/?page_id=307"},"modified":"2025-08-06T17:10:03","modified_gmt":"2025-08-06T17:10:03","slug":"disable-iff","status":"publish","type":"page","link":"https:\/\/dsd.webs.upv.es\/?page_id=307","title":{"rendered":"Disable iff"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">No habilitaci\u00f3n de&nbsp; la aserci\u00f3n ante ciertas condiciones:<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><\/p>\n\n\n\n<h3 class=\"wp-block-heading\">Ejemplo: <\/h3>\n\n\n<div class=\"wp-block-syntaxhighlighter-code \"><pre class=\"brush: systemverilog; title: ; notranslate\" title=\"\">\npuntero_llenado: assert property (@(posedge CLOCK) disable iff(RESET_N===1&#039;bx) $onehot(COUNTDEF)) else $error(&quot;te pille&quot;);\n<\/pre><\/div>\n\n\n<p class=\"wp-block-paragraph\">Por tanto en este ejemplo estoy comprobando que una variable denominada COUNTDEF siempre sigue una codificaci\u00f3n one_hot.  Esta comprobaci\u00f3n est\u00e1 habilitada para todos los flancos de subida de CLOCK siempre y cuando el RESET_N no este en valor desconocido.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>No habilitaci\u00f3n de&nbsp; la aserci\u00f3n ante ciertas condiciones: Ejemplo: Por tanto en este ejemplo estoy comprobando que una variable denominada COUNTDEF siempre sigue una codificaci\u00f3n one_hot. Esta comprobaci\u00f3n est\u00e1 habilitada para todos los flancos de subida de CLOCK siempre y cuando el RESET_N no este en valor desconocido.<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":183,"menu_order":6,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_crdt_document":"","ub_ctt_via":"","footnotes":""},"class_list":["post-307","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\/307","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=307"}],"version-history":[{"count":6,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/307\/revisions"}],"predecessor-version":[{"id":1874,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/307\/revisions\/1874"}],"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=307"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}