{"id":664,"date":"2020-11-16T08:47:59","date_gmt":"2020-11-16T08:47:59","guid":{"rendered":"http:\/\/dsd.webs.upv.es\/?page_id=664"},"modified":"2023-09-24T16:23:56","modified_gmt":"2023-09-24T16:23:56","slug":"paso-1","status":"publish","type":"page","link":"https:\/\/dsd.webs.upv.es\/?page_id=664","title":{"rendered":"Paso 1: Introducci\u00f3n de RCSG y cobertura funcional"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\"><br>Vamos en esta opci\u00f3n a introducir dos elementos b\u00e1sicos de cualquier banco de pruebas realizado con SystemVerilog:<\/p>\n\n\n\n<ol class=\"wp-block-list\">\n<li>&nbsp;Generaci\u00f3n de est\u00edmulos aleatorios con restricciones (RCSG)<\/li>\n\n\n\n<li>Puntos de observaci\u00f3n : covergroups para integrarlos en el posterior an\u00e1lisis de cobertura funcional<\/li>\n<\/ol>\n\n\n\n<p class=\"wp-block-paragraph\"><a href=\"https:\/\/poliformat.upv.es\/portal\/site\/GRA_12450_2020\/tool\/173d51a0-1c21-417b-acdb-9d8f7ee629de\/EditPage?returnView=&amp;studentItemId=0&amp;backPath=&amp;errorMessage=&amp;messageId=&amp;clearAttr=&amp;source=&amp;title=&amp;sendingPage=7432072&amp;newTopLevel=false&amp;postedComment=false&amp;itemId=7650612&amp;addBefore=&amp;path=&amp;topicId=&amp;addTool=-1&amp;recheck=&amp;id=&amp;forumId=\"><strong><\/strong><\/a><a href=\"https:\/\/poliformat.upv.es\/portal\/site\/GRA_12450_2020\/tool\/173d51a0-1c21-417b-acdb-9d8f7ee629de\/ShowPage?returnView=&amp;studentItemId=0&amp;backPath=&amp;errorMessage=&amp;messageId=&amp;clearAttr=&amp;source=&amp;title=&amp;sendingPage=7432072&amp;newTopLevel=false&amp;postedComment=false&amp;itemId=7650633&amp;addBefore=&amp;path=push&amp;topicId=&amp;addTool=-1&amp;recheck=&amp;id=&amp;forumId=#\"><strong><\/strong><\/a><a href=\"https:\/\/poliformat.upv.es\/portal\/site\/GRA_12450_2020\/tool\/173d51a0-1c21-417b-acdb-9d8f7ee629de\/ShowPage?returnView=&amp;studentItemId=0&amp;backPath=&amp;errorMessage=&amp;messageId=&amp;clearAttr=&amp;source=&amp;title=&amp;sendingPage=7432072&amp;newTopLevel=false&amp;postedComment=false&amp;itemId=7650633&amp;addBefore=&amp;path=push&amp;topicId=&amp;addTool=-1&amp;recheck=&amp;id=&amp;forumId=#\"><strong><\/strong><\/a><\/p>\n\n\n\n<h3 class=\"wp-block-heading\">RCSG<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">La generaci\u00f3n de est\u00edmulos aleatorios con restricciones que vamos a utilizar en este ejemplo ya pr\u00e1cticamente va a permanecer inalterado ejemplo tras ejemplo en lo relativo al c\u00f3mo y que b\u00e1sicamente es mediante el uso de clases de systemverilog. En lo relativo al d\u00f3nde&nbsp;, en en esta opci\u00f3n lo vamos a ubicar en el top de la jerarqu\u00eda. M\u00e1s adelante&nbsp; pasar\u00e1 a formar parte de la construcci\u00f3n&nbsp;program&nbsp;<\/p>\n\n\n\n<figure class=\"wp-block-embed is-type-video is-provider-youtube wp-block-embed-youtube wp-embed-aspect-4-3 wp-has-aspect-ratio\"><div class=\"wp-block-embed__wrapper\">\n<iframe loading=\"lazy\" title=\"Random Constraint stimulus generator |  | UPV\" width=\"960\" height=\"720\" src=\"https:\/\/www.youtube.com\/embed\/rei8k41CyGk?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" allowfullscreen><\/iframe>\n<\/div><\/figure>\n\n\n\n<h3 class=\"wp-block-heading\">Cobertura funcional<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">La cobertura funcional corre a cargo de los&nbsp;covergroups.&nbsp;&nbsp;En este ejemplo utilizaremos&nbsp; los denominados \u00abno triggering event\u00bb que requieren de un muestreo expl\u00edcito mediante el m\u00e9todo \u00absample\u00bb. No vamos&nbsp; a definir en este ejemplo de manera manual los \u00abbins\u00bb de los&nbsp;coverpoints&nbsp;utilizados ni tampoco puntos cruzados de cobertura (cross).&nbsp; En lo relativo al d\u00f3nde&nbsp;, en esta opci\u00f3n lo vamos a ubicar en el top de la jerarqu\u00eda.&nbsp;<\/p>\n\n\n\n<figure class=\"wp-block-embed is-type-video is-provider-youtube wp-block-embed-youtube wp-embed-aspect-4-3 wp-has-aspect-ratio\"><div class=\"wp-block-embed__wrapper\">\n<iframe loading=\"lazy\" title=\"Cobertura funcional b\u00e1sica |  | UPV\" width=\"960\" height=\"720\" src=\"https:\/\/www.youtube.com\/embed\/Ltpp_iwLBw0?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" allowfullscreen><\/iframe>\n<\/div><\/figure>\n\n\n\n<h3 class=\"wp-block-heading\">Laboratorio virtual<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\"><a href=\"https:\/\/www.edaplayground.com\/x\/5AmM\">https:\/\/www.edaplayground.com\/x\/5AmM<\/a><\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><a href=\"https:\/\/www.edaplayground.com\/x\/5AmM\" target=\"_blank\" rel=\"noreferrer noopener\"><img loading=\"lazy\" decoding=\"async\" width=\"295\" height=\"71\" src=\"https:\/\/dsd.webs.upv.es\/wp-content\/uploads\/2023\/09\/image-4.png\" alt=\"\" class=\"wp-image-1507\"\/><\/a><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\"><a href=\"https:\/\/poliformat.upv.es\/portal\/site\/GRA_12450_2020\/tool\/173d51a0-1c21-417b-acdb-9d8f7ee629de\/EditPage?returnView=&amp;studentItemId=0&amp;backPath=&amp;errorMessage=&amp;messageId=&amp;clearAttr=&amp;source=&amp;title=&amp;sendingPage=7432072&amp;newTopLevel=false&amp;postedComment=false&amp;itemId=7650614&amp;addBefore=&amp;path=&amp;topicId=&amp;addTool=-1&amp;recheck=&amp;id=&amp;forumId=\"><\/a><a href=\"https:\/\/poliformat.upv.es\/portal\/site\/GRA_12450_2020\/tool\/173d51a0-1c21-417b-acdb-9d8f7ee629de\/ShowPage?returnView=&amp;studentItemId=0&amp;backPath=&amp;errorMessage=&amp;messageId=&amp;clearAttr=&amp;source=&amp;title=&amp;sendingPage=7432072&amp;newTopLevel=false&amp;postedComment=false&amp;itemId=7650633&amp;addBefore=&amp;path=push&amp;topicId=&amp;addTool=-1&amp;recheck=&amp;id=&amp;forumId=#\"><\/a><a href=\"https:\/\/poliformat.upv.es\/portal\/site\/GRA_12450_2020\/tool\/173d51a0-1c21-417b-acdb-9d8f7ee629de\/ShowPage?returnView=&amp;studentItemId=0&amp;backPath=&amp;errorMessage=&amp;messageId=&amp;clearAttr=&amp;source=&amp;title=&amp;sendingPage=7432072&amp;newTopLevel=false&amp;postedComment=false&amp;itemId=7650633&amp;addBefore=&amp;path=push&amp;topicId=&amp;addTool=-1&amp;recheck=&amp;id=&amp;forumId=#\"><\/a><object data=\"https:\/\/poliformat.upv.es\/access\/lessonbuilder\/item\/7650615\/group\/GRA_12450_2020\/Contenido%20Lessons\/Opci%C3%B3n%20b%C3%A1sica%20de%20verificaci%C3%B3n\/urls\/www.edaplayground.com_x_5AmM.url?lb.session=465AF608F8CACFFF2E4BCED183FCBFB56455F4BA0179B72BE87D573F8E991801111518F725326EBD73D5C718CCA2761448B8AA6A90EC2BAE7FFCC66CEFB0EE2D01B137A18DE4DBC4045329AC577B1C8665C66068B57CCF885F31790714C5DFE66A2B5F84BC0A10142515968D868CC8F8B0E2F2FF6A2B1E0BC70BE186C8988B4CC2FFBEC5C934A6263B9E43F02DF6388FDB122AB166934811BF2A650518EB5D02B43382C2A2694741\" type=\"text\/url\" width=\"100%\" height=\"700\"><\/object><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Vamos en esta opci\u00f3n a introducir dos elementos b\u00e1sicos de cualquier banco de pruebas realizado con SystemVerilog: RCSG La generaci\u00f3n de est\u00edmulos aleatorios con restricciones que vamos a utilizar en este ejemplo ya pr\u00e1cticamente va a permanecer inalterado ejemplo tras ejemplo en lo relativo al c\u00f3mo y que b\u00e1sicamente es mediante el uso de clases de systemverilog. En lo relativo al d\u00f3nde&nbsp;, en en esta opci\u00f3n lo vamos a ubicar en el top de la jerarqu\u00eda. M\u00e1s adelante&nbsp; pasar\u00e1 a formar parte de la construcci\u00f3n&nbsp;program&nbsp; Cobertura funcional La cobertura funcional corre a cargo de los&nbsp;covergroups.&nbsp;&nbsp;En este ejemplo utilizaremos&nbsp; los denominados \u00abno triggering event\u00bb que requieren de un muestreo expl\u00edcito mediante el m\u00e9todo \u00absample\u00bb. No vamos&nbsp; a definir en este ejemplo de manera manual los \u00abbins\u00bb de los&nbsp;coverpoints&nbsp;utilizados ni tampoco puntos cruzados de cobertura (cross).&nbsp; En lo relativo al d\u00f3nde&nbsp;, en esta opci\u00f3n lo vamos a ubicar en el top de la jerarqu\u00eda.&nbsp; Laboratorio virtual https:\/\/www.edaplayground.com\/x\/5AmM<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":463,"menu_order":2,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_crdt_document":"","ub_ctt_via":"","footnotes":""},"class_list":["post-664","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\/664","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=664"}],"version-history":[{"count":13,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/664\/revisions"}],"predecessor-version":[{"id":1509,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/664\/revisions\/1509"}],"up":[{"embeddable":true,"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=\/wp\/v2\/pages\/463"}],"wp:attachment":[{"href":"https:\/\/dsd.webs.upv.es\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=664"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}