Design And Verification Of An Rsa Encryption Core