[bazel] enable building VMEM image for multislot bins

The personalization binary is combined with the transport image into a
multislot binary payload that is bootstrapped during personalization.
This updates `opentitan_binary_assemble` rule to build VMEM files for
opentitantool-assembled multislot image so they can be loaded in DV to
bringup ATE flows for manufacturing. This fixes #25977.

Signed-off-by: Tim Trippel <[email protected]>
(cherry picked from commit 12742d2)

Author: timothytrippel

rules/opentitan/cc.bzl

@@ -9,13 +9,14 @@ load(
     _OPENTITAN_PLATFORM = "OPENTITAN_PLATFORM",
     _opentitan_transition = "opentitan_transition",
 )
-load("@lowrisc_opentitan//rules:signing.bzl", "sign_binary")
-load("@lowrisc_opentitan//rules/opentitan:exec_env.bzl", "ExecEnvInfo")
 load(
     "@lowrisc_opentitan//rules/opentitan:transform.bzl",
+    "convert_to_vmem",
     "obj_disassemble",
     "obj_transform",
 )
+load("@lowrisc_opentitan//rules:signing.bzl", "sign_binary")
+load("@lowrisc_opentitan//rules/opentitan:exec_env.bzl", "ExecEnvInfo")
 load("@lowrisc_opentitan//rules/opentitan:util.bzl", "get_fallback", "get_override")
 load("@rules_cc//cc:find_cc_toolchain.bzl", "find_cc_toolchain")
 load("//rules/opentitan:toolchain.bzl", "LOCALTOOLS_TOOLCHAIN")
@@ -599,9 +600,25 @@ def _opentitan_binary_assemble_impl(ctx):
         spec = " ".join(spec)
         spec = recursive_format(spec, action_param)
         spec = spec.split(" ")
-        img = assemble_for_test(ctx, name, spec, input_bins, tc.tools.opentitantool)
-        result.append(exec_env_provider(default = img, kind = "flash"))
-        assembled_bins.append(img)
+
+        # Generate the multislot bin.
+        bin = assemble_for_test(ctx, name, spec, input_bins, tc.tools.opentitantool)
+
+        # Generate unscrambled VMEM files.
+        #
+        # Multi-slot binaries are currently only used for bootstrap operations,
+        # i.e., non-backdoor loaded sim environments and FPGA/silicon
+        # environments. Therefore we only need unscrambled VMEM files.
+        vmem = convert_to_vmem(
+            ctx,
+            name = name,
+            src = bin,
+            word_size = 64,
+        )
+
+        result.append(exec_env_provider(default = bin, kind = "flash", vmem = vmem))
+        assembled_bins.append(bin)
+        assembled_bins.append(vmem)
         ot_bin_env_info[exec_env_provider] = env
     result.append(OpenTitanBinaryInfo(exec_env = ot_bin_env_info))
     return result + [DefaultInfo(files = depset(assembled_bins))]

sw/device/silicon_creator/manuf/tests/BUILD

@@ -5,6 +5,7 @@
 load("//rules:const.bzl", "CONST", "get_lc_items")
 load("//rules:lc.bzl", "lc_raw_unlock_token")
 load("//rules/opentitan:keyutils.bzl", "ECDSA_SPX_KEY_STRUCTS")
+load("//rules/opentitan:cc.bzl", "opentitan_binary_assemble")
 load(
     "//rules:otp.bzl",
     "OTP_SIGVERIFY_FAKE_KEYS",
@@ -19,6 +20,10 @@ load(
     "silicon_params",
     "spx_key_for_lc_state",
 )
+load(
+    "//sw/device/silicon_creator/rom/e2e:defs.bzl",
+    "SLOTS",
+)
 
 package(default_visibility = ["//visibility:public"])
 
@@ -508,3 +513,40 @@ opentitan_test(
         "//sw/device/silicon_creator/lib/sigverify:spx_verify",
     ],
 )
+
+[
+    opentitan_binary(
+        name = "empty_test_{}".format(slot),
+        testonly = True,
+        srcs = ["empty_functest.c"],
+        exec_env = {
+            "//hw/top_earlgrey:sim_dv": None,
+            "//hw/top_earlgrey:silicon_creator": None,
+        },
+        linker_script = "//sw/device/lib/testing/test_framework:ottf_ld_silicon_creator_slot_{}".format(slot),
+        deps = [
+            "//sw/device/lib/runtime:log",
+            "//sw/device/lib/testing/test_framework:ottf_main",
+        ],
+    )
+    for slot in SLOTS.keys()
+]
+
+opentitan_binary_assemble(
+    name = "multislot_empty_test",
+    testonly = True,
+    bins = {
+        ":empty_test_a": SLOTS["a"],
+        ":empty_test_b": SLOTS["b"],
+    },
+    exec_env = [
+        "//hw/top_earlgrey:sim_dv",
+        "//hw/top_earlgrey:silicon_creator",
+    ],
+)
+
+# The below alias is needed to run the multislot_empty_test in DV.
+alias(
+    name = "multislot_empty_test_sim_dv",
+    actual = "multislot_empty_test",
+)