Examples of monitors + driver + sequence code for credit based protocols

In reply to val_gal:

There does not seem to be much information about credit based protocol verification, but I did find one paper/dissertation:

https://www.semanticscholar.org/paper/A-hardware-verification-methodology-for-an-network-Burkhardt/59d6c4c3461fe623f22777dfc29022d9b105ab77#citing-papers