Verilog is just a logic implementation. It should be pretty portable. There are some issues, and certainly the bitstreams won’t be compatible, but if C still works, I imagine verilog would too.