A <= true;
B <= false;
C <= true;
C_value <= false;
wait for tick_period;
assert( D = true )
report "1st trace: 1st tick: D should have been true"
severity ERROR;
assert( E = false )
report "1st trace: 1st tick: E should have been false"
severity ERROR;
assert( F = true )
report "1st trace: 1st tick: F should have been true"
severity ERROR;
assert( F_value = false )
report "1st trace: 1st tick: F_value should have been false"
severity ERROR; |