{"id":271,"date":"2020-09-24T10:15:05","date_gmt":"2020-09-24T10:15:05","guid":{"rendered":"http:\/\/dsd.webs.upv.es\/?page_id=271"},"modified":"2020-09-24T10:21:27","modified_gmt":"2020-09-24T10:21:27","slug":"aserciones-inmediatas","status":"publish","type":"page","link":"https:\/\/dsd.webs.upv.es\/?page_id=271","title":{"rendered":"Aserciones inmediatas"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">Se encuentran dentro de \u201cprocedural blocks\u201d:<\/p>\n\n\n<div class=\"wp-block-syntaxhighlighter-code \"><pre class=\"brush: verilog; highlight: [3]; title: ; notranslate\" title=\"\">\ninitial begin\n  \u2026\n  comprobacion1: assert (a==10) else $info(\u201ca is not 10\u201d);\n  \u2026\nend\n\n<\/pre><\/div>\n\n\n<p class=\"wp-block-paragraph\">Podr\u00eda hacerse con una sentencia \u201cif\u201d <\/p>\n\n\n<div class=\"wp-block-syntaxhighlighter-code \"><pre class=\"brush: verilog; highlight: [3]; title: ; notranslate\" title=\"\">\ninitial begin\n  \u2026\n if (a!=10) $info(\u201ca is not 10\u201d);\n  \u2026\nend\n<\/pre><\/div>\n\n\n<p class=\"wp-block-paragraph\">Las ventajas de realizarlo con aserciones son: <\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Se le puede dar nombre, desactivarla, monitorizarla, etc. <\/li><li>El sintetizador RTL la ignorar\u00e1 autom\u00e1ticamente( cosa que no hace con una sentencia if de comprobaci\u00f3n)<\/li><\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Se encuentran dentro de \u201cprocedural blocks\u201d: Podr\u00eda hacerse con una sentencia \u201cif\u201d Las ventajas de realizarlo con aserciones son: Se le puede dar nombre, desactivarla, monitorizarla, etc. El sintetizador RTL la ignorar\u00e1 autom\u00e1ticamente( cosa que no hace con una sentencia if de comprobaci\u00f3n)<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":183,"menu_order":2,"comment_status":"closed","ping_status":"closed","template":"","meta":{"ub_ctt_via":"","footnotes":""},"class_list":["post-271","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\/271","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=271"}],"version-history":[{"count":5,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/271\/revisions"}],"predecessor-version":[{"id":277,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/271\/revisions\/277"}],"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=271"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}