Verilog being copyrightable does not imply that a netlist compiled from verilog is copyrightable. Again, just because X was constructed from a copyrighted work doesn't mean X itself is copyrighted.
For example, I can take the size of a Verilog file in bytes and that number is not copyrightable, even if the Verilog source code it is the size of is.
Copyright isn't a magical thing that makes any process with an input of copyrightable X and an output of Y cause Y to be copyrightable and a derivative work of X. You first have to show that Y is copyrightable all on its own (contains copyrightable expression).