Also, are there specific instructions for making a file SPDX compliant? A bunch of file I did not add or edit got marked in precheck for being not compliant. For example, I did not edit the top level

Makefile

and it is in the non-compliant log. What is required besides the header?

this won't fail the precheck, just give a warning. So you can ignore it if you like.

Oh okay! The consistency error must be only from the mismatching verilog netlist then.

have you found the precheck error logs? they're helpful for debugging what the catch is

I think the problem is I don't even have a verilog netlist for my design yet. 😮 The precheck is just looking at the default netlist from the por example project. I will start on my verilog netlist soon. If I get stuck on something, I'll let you all know.