Sentencia Disable

Parte de la sección Fundamentos del Journey de Verilog de Coddy — lección 62 de 90.

La sentencia disable detiene la ejecución de un bloque con nombre (como un bucle forever, un bloque begin-end o una tarea). Es útil para salir de bucles que, de lo contrario, se ejecutarían indefinidamente.

Sintaxis:

disable block_name;

El bloque debe estar etiquetado con un nombre.

Desactivar con un bucle Forever

begin : counter // counter le da al bloque el nombre counter.
  forever begin
    #10 count = count + 1;
    if (count == 5) begin
      disable counter;   // disable counter detiene todo ese bloque con nombre.
    end
  end
end

El bucle forever está dentro de un bloque con nombre counter. La sentencia disable counter se coloca dentro del bucle. Cuando count llega a 5, disable counter se ejecuta y detiene todo el bloque counter — lo que detiene inmediatamente el bucle forever también.

Desactivar en un bloque separado

begin : counter
  forever begin
    #10 count = count + 1;
  end
end

initial begin
  #50;
  disable counter;   // Detiene el bloque counter desde el exterior
end

Aquí, el bucle forever se ejecuta continuamente dentro del bloque con nombre counter. La sentencia disable counter se coloca en un bloque initial independiente. Después de 50 unidades de tiempo, disable counter se ejecuta y detiene el bloque counter — lo que termina el bucle forever desde el exterior.

Reglas importantes

Regla	Explicación
El bloque debe tener un nombre	`begin : block_name`
Disable detiene la ejecución inmediatamente	El código se detiene en ese momento
Se puede usar desde cualquier lugar	Desde cualquier bloque en el módulo
Útil para detener bucles `forever`	De lo contrario, nunca se detienen

Desafío

Se te proporciona un módulo con un contador que se ejecuta indefinidamente.

Qué hacer:

Completa el bloque vacío reemplazando cada comentario con el código correcto:

Añade #50; para esperar 50 unidades de tiempo
Añade disable counter; para detener el bloque counter
Añade $display("Counter stopped"); para imprimir el mensaje
Añade $finish; para finalizar la simulación

Hoja de referencia

La sentencia disable detiene la ejecución de un bloque con nombre (por ejemplo, un bucle forever). El bloque debe estar etiquetado usando begin : block_name.

Desactivar desde el interior del bloque:

begin : counter
  forever begin
    #10 count = count + 1;
    if (count == 5) disable counter;
  end
end

Desactivar desde un bloque separado:

begin : counter
  forever begin
    #10 count = count + 1;
  end
end

initial begin
  #50;
  disable counter; // detiene el bloque con nombre desde el exterior
end

Pruébalo tú mismo

module disable_challenge;
  integer count;
  
  initial begin
    count = 0;
    fork
      begin : counter
        forever begin
          #10 count = count + 1;
          $display("count = %d", count);
        end
      end
      
      begin
        // Paso 1: Esperar 50 unidades de tiempo
        
        // Paso 2: Desactivar el bloque counter
        
        // Paso 3: Imprimir "Counter stopped"
        
        // Paso 4: Finalizar la simulación
        
      end
    join
  end
endmodule