In reply to peter:
They are not the same. The bold yellow “1” are different than the plain text “1”
A notation in my table:
1 (yellow bold)== nonvacuous true in a clocking event;
1 (plain text)==hold (vacuous or nonvacuous)
In reply to peter:
They are not the same. The bold yellow “1” are different than the plain text “1”
A notation in my table:
1 (yellow bold)== nonvacuous true in a clocking event;
1 (plain text)==hold (vacuous or nonvacuous)