Automatic RTL-to-Formal Code Converter for IP Security Formal Verification | IEEE Conference Publication | IEEE Xplore