Tagged ic-physical-design-verification