SoC connectivity specification extraction using incomplete RTL design: An approach for Formal connectivity Verification | IEEE Conference Publication | IEEE Xplore