Verification of electronic designs by reconstruction of the hierarchy door