Identifying and Overcoming Multi-Die System Verification Challenges