Title: Verification of electronic designs by reconstruction of the hierarchy