Hey, it’s summer and internships are underway. VerilogPro’s posts on Verilog and SystemVerilog might come at hand when you explain various concepts to newbies. His latest post addresses the concept of module (we are a bit late with this one).
We also found a contribution of Lucas Klemmer/Institute for Complex Systems to the OpenSource EDA community: Waveform Analysis Language. WAL provides an interactive command line that allows one to search for signal patterns or do post-simulation processing of waves. One can define the pattern-search function using a LISP-like syntax and apply it on a set of signals. For more information and references I encourage you to read the DAC’22 paper or inspect WAL’s GitHub repo.