Yeah, it's ok since it is behavioral. Though my Verilog may be rusty as I haven't done a lot in a few years.