Is there something special about what netgen wants ?

Usually it requires name of subckt if I remember correctly

Yeah, I missed that.

I didn't know it accepted verilog as input actually. I've only ever used it to compare spice netlists