Enabling high quality design sign-off with structural and auto formal checks