\nBus P; \/\/declarar: generar un identificador a un objeto de tipo Bus \u2013 inicializado en null\nP=new; \/\/instanciar: asignar el espacio para el objeto y ejecutar autom\u00e1ticamente la funci\u00f3n new() en la clase para la inicializaci\u00f3n\n<\/pre><\/div>\n\n\n- \n
- Evidentemente para poder hacer esto la clase que se referencia debe de ser visible<\/li>\n\n\n\n
- Evidentemente ambas acciones (declarar e instanciar) se pueden hacer en una \u00fanica l\u00ednea: Bus P =new;<\/span><\/li>\n\n\n\n
- La funci\u00f3n new() es el contructor \u2013 sin valor de retorno. El constructor se puede omitir en la clase: en este caso, se asigna el espacio para el nuevo objeto y se conservan los valores iniciales de las propiedades.<\/li>\n\n\n\n
- new() puede tomar argumentos:<\/li>\n<\/ul>\n\n\n
\nfunction new(bit [40:0] a);\n addr = a;\nendfunction\n<\/pre><\/div>\n\n\n
Llegado a este punto supongamos que quiero aleatorizar . Bastar\u00eda, si ya tenemos el objeto construido , en llamar el m\u00e9todo \u00abrandomize\u00bb . En el siguiente ejemplo mostramos la construcci\u00f3n y la realizaci\u00f3n de dos randomizaciones:<\/p>\n\n\n
\nnitial begin\n Bus busInst;\n busInst = new;\n \/\/ now busInt.addr and busInst.data are both zeroes\n if (!busInst.randomize()) begin\n $display(\u201crandomization failed\u201d);\n $finish();\n end\n\/\/ now bustInst.addr and busInst.data have random values that satisfy the constraints\n assert (busInst.randomize()) else $fatal(\u201crandomization failed\u201d);\n\/\/ now bustInst.addr and busInst.data have other random values that satisfy the constraints\nend\n<\/pre><\/div>\n\n\n
Cada vez que aleatorizamos una clase, se selecciona aleatoriamente una entre todas las combinaciones posibles de todas las variables aleatorias que satisfacen todas las restricciones que hemos colocado. En el caso de que no haya ninguna combinaci\u00f3n posible, la funci\u00f3n randomize dar\u00e1 un \u00ab0\u00bb<\/p>\n\n\n\n
Acciones adicionales en el m\u00e9todo randomize<\/h2>\n\n\n\n
A\u00f1adir m\u00e1s restricciones<\/h3>\n\n\n\n
Se realiza con la palabra reservada \u00abwith\u00bb<\/p>\n\n\n
\nres = bus.randomize() with {addr[0] || addr[1];};\n<\/pre><\/div>\n\n\nSe puede observar que al randomizar indicamos una restricci\u00f3n adicional expresada entre las llaves. Adem\u00e1s de todas las restricciones dadas en la clase, para s\u00f3lo esta aleatorizaci\u00f3n agregamos la restricci\u00f3n que addr[0] o addr[1] debe ser 1.<\/p>\n\n\n\n
Cambiar el car\u00e1cter de las variables<\/h3>\n\n\n\n
- \n
- Las clases pueden tener miembros rand y no-rand<\/li>\n\n\n\n
- al aleatorizar una clase, aleatorizamos solo las variables aleatorias, los no aleatorios mantienen sus valores <\/li>\n\n\n\n
- Las restricciones pueden mezclar en sus expresiones variables rand y no rand<\/li>\n<\/ul>\n\n\n\n
Veamos un ejemplo<\/p>\n\n\n
\nclass B;\n rand bit a, b;\n bit c, d;\n constraint c1 { d -> b;};\n constraint c2 { a &b == c;};\nendclass\n<\/pre><\/div>\n\n\nCuando llamamos al m\u00e9todo randomize podemos cambiar el car\u00e1cter de dichas variables<\/p>\n\n\n\n
- \n
- inst.randomize(a) : poniendo como argumento la variable a<\/strong> indicamos que solo esta variable va a ser considerada como randomizable. La variable b<\/strong> ser\u00e1 considerada como variable est\u00e1tica.<\/li>\n\n\n\n
- inst.randomize(a,c): El efecto sobre a<\/strong> y b<\/strong> es el mismo del ejemplo anterior; sin embargo la variable c<\/strong> que era est\u00e1tica, pasa a ser ahora en esta randomizaci\u00f3n como variable.<\/strong><\/li>\n<\/ul>\n\n\n\n
M\u00e9todos adicionales<\/h2>\n\n\n\n
constraint_mode<\/h3>\n\n\n\n
Veamos el siguiente ejemplo. Como puede observarse, podemos inhabilitar antes de cada llamada a randomize las restricciones que deseemos con tan solo llamar el m\u00e9todo constraint_mode<\/strong> asociadas a dicha restricci\u00f3n y poniendo como argumento un cero.<\/p>\n\n\n\n
Cuando deseemos podremos volver a habilitar la restricci\u00f3n con el mismo m\u00e9todo asociada a la misma y con un argumento uno.<\/p>\n\n\n
\nclass Bus;\n rand bit[15:0] addr;\n rand bit[31:0] data;\n constraint word_align {addr[1:0] == 2\u2019b0;}\n constraint addr_data_dep {addr==0 -> data==0;}\nendclass\ninitial begin\n Bus bus;\n bus = new;\nbus.randomize();\n\/\/ turn off the word_align constraint\nbus.word_align.constraint_mode(0);\nbus.randomize();\nbus.randomize() with {addr[0]==1;};\n\/\/ turn on the word_align constraint\nbus.word_align.constraint_mode(1);\nbus.randomize();\n<\/pre><\/div>\n\n\nrand_mode<\/h3>\n\n\n\n
Tomando como ejemplo el c\u00f3digo anterior en el que tenemos dos variables aleatorizables : addr y data Despu\u00e9s de esta declaraci\u00f3n: bus.addr.rand_mode<\/strong>(0); <\/p>\n\n\n\n
\u00abaddr\u201d dentro del objeto \u201cbus\u201d se considera como una variable no-rand(no aleatorizado cuando realizamos el randomize()) <\/p>\n\n\n\n
Para volver a su situaci\u00f3n rand, usamos: bus.addr.rand_mode<\/strong>(1);<\/p>\n\n\n\n
pre_randomize y post_randomize<\/h3>\n\n\n\n
En nuestra clase podemos definir unas funciones pre_randomize <\/strong>y post_randomize<\/strong>. Veamos el siguiente ejemplo:<\/p>\n\n\n
\nprogram ordering;\n class frame_t;\n rand bit zero;\n rand bit [15:0] data [];\n \n constraint frame_sizes {\n solve zero before data.size; \n zero -> data.size == 0;\n data.size inside {[0:10]};\n foreach (data[i])\n data[i] == i;\n }\n function void pre_randomize();\n begin\n assert (zero==1'b0) else \n $display("zero estaba activo");\n end\n endfunction\n function void post_randomize();\n begin\n assert (zero==1'b0) else \n $display("zero esta activo");\n $display("length : %0d", data.size());\n for (integer i = 0; i < data.size(); i++) begin\n $write ("%2x ",data[i]);\n end\n $write("\\n");\n end\n endfunction\n endclass\n initial begin\n frame_t frame = new();\n integer i,j = 0;\n for (j=0;j < 10; j++) begin\n $write("-------------------------------\\n");\n $write("Randomize Value\\n");\n i = frame.randomize();\n end\n $write("-------------------------------\\n");\n end\nendprogram\n<\/pre><\/div>\n\n\nDichos m\u00e9todos ser\u00e1n ejecutados autom\u00e1ticamente (sin necesidad de llamarlos expl\u00edcitamente) justo antes y despu\u00e9s de que tenga lugar la aleatorizaci\u00f3n al llamar randomize<\/strong>()<\/p>\n\n\n\n
el flujo de ejecuci\u00f3n ser\u00e1 el siguiente:<\/p>\n\n\n\n
- inst.randomize(a,c): El efecto sobre a<\/strong> y b<\/strong> es el mismo del ejemplo anterior; sin embargo la variable c<\/strong> que era est\u00e1tica, pasa a ser ahora en esta randomizaci\u00f3n como variable.<\/strong><\/li>\n<\/ul>\n\n\n\n
- inst.randomize(a) : poniendo como argumento la variable a<\/strong> indicamos que solo esta variable va a ser considerada como randomizable. La variable b<\/strong> ser\u00e1 considerada como variable est\u00e1tica.<\/li>\n\n\n\n
![\"\"](\"https:\/\/dsd.webs.upv.es\/wp-content\/uploads\/2023\/09\/image-3.png\")
<\/a><\/figure>\n\n\n\n