[vineyardlabs]

Is there a reason they're mixing non-blocking and blocking assignment operators in sequential always blocks here?

[_blz2]

looks like those are local variables

[CamperBob2]

You can feel free to do that, if you're not too hung up on simulation-synthesis matching.