LVS reports: net count difference = 2 device count difference = 0 unmatched nets = 3 unmatched devices = 1 unmatched pins = 3239 property failures = 0