[crypto] Update name of generated RSA modexp file.

This name has changed upstream; renaming before updating so that the
diff will be easier to read.

Signed-off-by: Jade Philipoom <jadep@google.com>
diff --git a/sw/otbn/crypto/BUILD b/sw/otbn/crypto/BUILD
index 4def52b..6851b36 100644
--- a/sw/otbn/crypto/BUILD
+++ b/sw/otbn/crypto/BUILD
@@ -253,7 +253,7 @@
 otbn_library(
     name = "rsa_verify_3072",
     srcs = [
-        "//sw/vendor:veri-titan/gen/rsa_verify_3072.s",
+        "//sw/vendor:veri-titan/gen/otbn_modexp.s",
     ],
 )
 
diff --git a/sw/otbn/crypto/meson.build b/sw/otbn/crypto/meson.build
index 04618dc..f4e3c5d 100644
--- a/sw/otbn/crypto/meson.build
+++ b/sw/otbn/crypto/meson.build
@@ -89,25 +89,25 @@
     'rsa_1024_enc_test.s',
     'modexp.s',
   ),
-  'rsa_verify_3072': files(
-    '../../vendor/veri-titan/gen/rsa_verify_3072.s',
+  'otbn_modexp': files(
+    '../../vendor/veri-titan/gen/otbn_modexp.s',
   ),
   'rsa_verify_3072_consts_test': files(
     'rsa_verify_3072_consts_test.s',
     'rsa_verify_3072_rr.s',
     'rsa_verify_3072_m0inv.s',
-    '../../vendor/veri-titan/gen/rsa_verify_3072.s',
+    '../../vendor/veri-titan/gen/otbn_modexp.s',
   ),
   'rsa_verify_3072_m0inv': files(
     'rsa_verify_3072_m0inv.s',
   ),
   'rsa_verify_3072_rr': files(
     'rsa_verify_3072_rr.s',
-    '../../vendor/veri-titan/gen/rsa_verify_3072.s',
+    '../../vendor/veri-titan/gen/otbn_modexp.s',
   ),
   'rsa_verify_3072_test': files(
     'rsa_verify_3072_test.s',
-    '../../vendor/veri-titan/gen/rsa_verify_3072.s',
+    '../../vendor/veri-titan/gen/otbn_modexp.s',
   ),
   'rsa_verify': files(
     'rsa_verify.s',
@@ -122,13 +122,13 @@
   ),
   'run_rsa_verify_3072': files(
     'run_rsa_verify_3072.s',
-    '../../vendor/veri-titan/gen/rsa_verify_3072.s',
+    '../../vendor/veri-titan/gen/otbn_modexp.s',
     'rsa_verify_3072_m0inv.s',
     'rsa_verify_3072_rr.s',
   ),
   'run_rsa_verify_3072_rr_modexp': files(
     'run_rsa_verify_3072_rr_modexp.s',
     'rsa_verify_3072_rr.s',
-    '../../vendor/veri-titan/gen/rsa_verify_3072.s',
+    '../../vendor/veri-titan/gen/otbn_modexp.s',
   ),
 }
diff --git a/sw/vendor/veri-titan/gen/rsa_verify_3072.s b/sw/vendor/veri-titan/gen/otbn_modexp.s
similarity index 100%
rename from sw/vendor/veri-titan/gen/rsa_verify_3072.s
rename to sw/vendor/veri-titan/gen/otbn_modexp.s