In reply to MICRO_91:
Fig9_1_Part2(1) - EDA Playground code
EPWave Waveform Viewer wave
ap_test: assert property( dataCheck |-> 1 ) pass=pass+1; else fail=fail+1;
I don’t see a pass.
Anyway, do more test using waveform traces, as I did. FOR
multithreaded_antecedent |-> 1;
All threads have to first be tested before you get a PASS,
Otherwise, there could be another thread that fails.
A thread is ANTECEDENT followed by the consequent thread
FOr a pass, each thread must pass (vacuously or nonvacuously).
Nonvacuous pass for the assertion if no thread fails and at least one threat passes nonvacuously.