@User: What is the pin matching error? I corrected one problem (the problem you mentioned where pins can be swapped without netgen noticing) but then found that when that code is working it is a bit over-agressive in calling out errors. In the SPICE vs. verilog case, the layout was optimizing out the unused power supplies, while on the verilog side they were unconnected but still marked as pins. That was causing a pin mismatch. I changed that to stop reporting "no pin vs. unconnected pin" as a failure. I'm not sure if you're seeing something like that. What is the pin failure, exactly?