Model Based Mask Process Correction and Verification for Advanced Process Nodes