Aserciones inmediatas

Se encuentran dentro de “procedural blocks”:

initial begin
  …
  comprobacion1: assert (a==10) else $info(“a is not 10”);
  …
end

Podría hacerse con una sentencia “if”

initial begin
  …
 if (a!=10) $info(“a is not 10”);
  …
end

Las ventajas de realizarlo con aserciones son:

• Se le puede dar nombre, desactivarla, monitorizarla, etc.
• El sintetizador RTL la ignorará automáticamente( cosa que no hace con una sentencia if de comprobación)