@User AFAIK, magic doesn't have a way to check for power connections through wells. This can happen when well taps are not connected to the power rails. Would it be possible to modify the extraction rules to ignore well connections, convert the netlists to 3 terminal mosfets, and run LVS. Designs that passed LVS with well connections but didn't pass without well connections would indicate that a well connection existed. 2 terminal devices that had one terminal as a well connection would also need to be removed.