Test improvements
Coverage analysis towards v2.5 has shown several places where additional tests would be good. Several were written, others are pending.
Following test would be good to be written / extended:
-
Extend retr_limit
,retr_limit_2
andretr_limit_3
to iterate over all available TXT Buffers. -
Extend tst_mem_acc_rx
to write the memory also via March pattern, not only random data pattern. This will give us full toggle coverage on all bits on RX Buffer even if 4096 width is tested. -
Attempt to cover simultaneous events in RX Buffer in main TB. RX Buffer is intensively verified by its unit test. This unit test contains a model of RX Buffer, and hits these cases. RX Buffer unit test needs to be re-added to CI run (currently not there after porting to VCS flow) with GHDL. Despite having the concurent comit/read and abort/read covered by RX Buffer unit test, it would be good to cover these situations also in main TB, since code coverage is generated from main TB. Since VCS nor NVC can generate coverage from completely different designs (coverage is hierarchy based), it would be good to hit these cases also in main TB. -
Check if GHDL already supports External names. If yes, then generalize the VCS hack for random data deposit in few tests. -
Write test that covers "transient state" to Failed transition in case of Bus-off. Iterate over all TXT Buffers. -
Write test that covers saturation of SSP delay condition.