Ensures that the value of a specified expression is always combinationally TRUE.
assert_proposition
[#(severity_level, property_type, msg, coverage_level )]
instance_name (reset_n, test_expr );
|
reset_n
|
|
Active low synchronous reset signal indicating completed initialization.
|
|
test_expr
|
|
Expression that should always evaluate to TRUE.
|
The assert_proposition
assertion checker checks the single-bit expression test_expr when it changes value to verify the expression evaluates to TRUE.
none
1. Formal verification tools and hardware emulation/acceleration systems might ignore this checker. To verify propositional properties with these tools, consider using assert_always
.
assert_always, assert_always_on_edge, assert_implication, assert_never
Ensures that current_addr
equals addr
while bus_gnt
is TRUE.
© Accellera Organization, Inc. 2005 All Rights Reserved. |
Standard OVL V1.1a |