Hierarchy-Preserving Formal Verification Methods for Pre-silicon Security Assurance | IEEE Conference Publication | IEEE Xplore