Hardware-Assisted Verification for Multi-Die Designs