Se encuentran dentro de “procedural blocks”:
|
1 2 3 4 5 |
initial begin … comprobacion1: assert (a==10) else $info(“a is not 10”); … end |
Podría hacerse con una sentencia “if”
|
1 2 3 4 5 |
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)