On Monday, 10 April 2017 at 20:34:53 UTC, Joakim wrote: > Why is that notable? That's not any kind of official > SystemVerilog site, and it notes that it's maintained by > Coverify, the developers of vlang. oh, I see. I thought SystemVerilog was a trademarked name.