Design Rule Checking: Verifying Manufacturability at the Design Stage