chip(power R8.1): OpenSBI v1.8.1 + PMC RPMI shmem DTS + cocotb roundtrip gate

R8.1 continuation of the rate-limited R8 OpenSBI MPxy <-> PMC RPMI plumbing
work captured in dc42cd4c08 / 6de862e7b1. This commit closes the build /
evidence / gate loop for the OpenSBI v1.8.1 rebuild against the Eliza E1
PMC mailbox device-tree fragment and wires the cocotb roundtrip test into
the integration Makefile target with an explicit BLOCKED gate for the
three remaining RTL/firmware bindings.

What landed:
  - OpenSBI v1.8.1 (generic platform) rebuilt with FW_FDT_PATH set to
    `build/opensbi-eliza/eliza-rocket-pmc.dtb` (compiled from
    `dts/eliza-rocket-pmc.dts` via `dtc -O dtb`). The resulting
    `fw_dynamic.elf` embeds the PMC mailbox node at fw_fdt_bin (0x28020
    in .rodata) with compatible `riscv,rpmi-shmem-mbox` and reg-names
    (a2p-req, p2a-ack, p2a-req, a2p-ack, a2p-doorbell), verified by
    `strings(1)` on the elf.  Build artifact hashes captured in
    `docs/evidence/power/opensbi-pin-evidence.yaml::rv64_generic_build`.
  - New `docs/evidence/power/pmc-soc-integration-evidence.yaml` is the
    single source of truth for the SoC integration roundtrip claim.  It
    records the shmem layout, the DTS fragment hashes, the OpenSBI
    rebuild artifacts, and the three remaining bindings (B1-B3) that
    the cocotb roundtrip is BLOCKED on.
  - New Makefile target `cocotb-opensbi-mpxy-rpmi` runs
    `verify/cocotb/integration/test_opensbi_mpxy_to_pmc_rpmi.py` (added
    in 6de862e7b1) against `e1_soc_integrated_tb`. Three tests
    (clock GET_RATE, voltage GET_LEVEL, base GET_SPEC_VERSION) emit the
    explicit BLOCKED skip until `PMC_INSTANTIATE_IBEX=1` and
    `PMC_RPMI_SHMEM_ROUNDTRIP=1` are both set.  Wired into
    `soc-integration-check`.
  - `docs/pd/power-management-firmware.md` documents the OpenSBI rebuild
    + the outstanding integration milestone with explicit pointers to
    the three bindings B1 (pmc_top.sv shmem MMIO routing),
    B2 (main.c drain loop), B3 (PMIC bringup compile-time guard).

Verification:
  - `dtc -O dtb -o build/opensbi-eliza/eliza-rocket-pmc.dtb dts/eliza-rocket-pmc.dts`
    completes clean; 1734-byte DTB (sha256 b855840f...).
  - OpenSBI rebuilds clean with `riscv64-linux-gnu-gcc` + the embedded DTB.
    `fw_dynamic.elf` is 2058352 bytes (sha256 2db12afb...); strings(1)
    matches `mailbox@10050800`, `riscv,rpmi-shmem-mbox`, `a2p-req`,
    `a2p-doorbell`, `riscv,a2p-doorbell-value`.
  - `make cocotb-soc-boot-smoke` 7/7 PASS, `make cocotb-cross-domain`
    11/11 PASS, `make cocotb-pmc` 4/4 PASS — the 54-test baseline is
    intact.
  - `make cocotb-opensbi-mpxy-rpmi` 3/3 PASS (all three BLOCKED-skip
    paths fire as expected; cocotb scores `TestSuccess` raises as PASS).
  - `make docs-check` fails on pre-existing AI EDA inventory stale-hash
    items unrelated to this change.

Status flip blocked on three bindings; mpxy_rpmi_roundtrip remains
BLOCKED in `pmc-soc-integration-evidence.yaml::mpxy_rpmi_roundtrip`
until B1, B2, B3 land (next R8.2 milestones).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: 2 people

packages/chip/Makefile

@@ -24,6 +24,14 @@ BUILD := build
 .PHONY: e1-phone-routed-release-plan
 .PHONY: e1-phone-manufacturing-artifacts-check
 .PHONY: cdc-rdc-intent-check
+.PHONY: waveform-debug-policy-check
+.PHONY: external-model-corpus-intake-policy-check
+.PHONY: analog-automation-policy-check
+.PHONY: hardware-security-ai-policy-check
+.PHONY: dft-atpg-policy-check
+.PHONY: power-thermal-ai-policy-check
+.PHONY: software-bsp-firmware-ai-policy-check
+.PHONY: spec-traceability-ai-policy-check
 
 .PHONY: setup venv tools kicad-setup kicad-tools-check e1-phone-schematic-scaffold e1-phone-layout-metrics e1-phone-manufacturing-closure e1-phone-board-package-check kicad-phone-render kicad-phone-preview-check phone-cad phone-cad-test lint lint-fix typecheck analysis verify-all smoke ci-fast ci-local ci-strict ci-pd benchmarks-dry-run benchmarks benchmark-tools benchmarks-local-host-evidence benchmark-modeled-artifacts benchmark-modeled-cpu-npu cpu-npu-modeled-benchmark-eval cpu-npu-burst-sustained-policy cpu-npu-burst-thermal-transient cpu-npu-aosp-governor-trace cpu-npu-14a-process-eval cpu-npu-competitive-envelope cpu-npu-tapeout-readiness-audit cpu-npu-tapeout-readiness-audit-test cpu-npu-design-space-frontier benchmark-sim-metrics benchmark-cpu-ap-sim-metrics benchmark-cpu-ap-sota-sim-metrics benchmark-sim-metrics-test benchmark-calibration-test benchmark-parser-test benchmark-efficiency-scope-check benchmark-efficiency-scope-test soc-thermal-sweep soc-thermal-sweep-test soc-optimization soc-optimization-work-order soc-optimization-test cpu-npu-2028-readiness-scorecard cpu-npu-2028-readiness-scorecard-test cpu-npu-manual-review cpu-npu-manual-review-test power-thermal-scope-check power-thermal-scope-test power-thermal-evidence-check power-thermal-evidence-test process-14a-effects-check process-14a-effects-test npu-scope-check npu-scope-test e1-npu-nnapi-proof-check mvp-status mvp-status-strict mvp-status-json mvp-simulator mvp-simulator-check mvp-simulator-status-test aosp-simulator-completion-check android-sim-peripheral-evidence linux-handoff-check chipyard-generator-check chipyard-generated-check chipyard-generated-linux-contract-check chipyard-verilator-linux-smoke-check cpu-ap-scaffold-check cpu-ap-scope-check cpu-ap-scope-test cpu-ap-capture-plan cpu-ap-capture-preflight cpu-ap-capture-wire cpu-ap-capture-wire-preflight cpu-ap-evidence-check cpu-ap-evidence-test cpu-ap-completion-gate no-hardware-action-check memory-uma-claim-gate memory-evidence-template-check memory-interconnect-contract-check memory-iommu-qos-sim-check memory-iommu-qos-sim-test memory-axi4-check iommu-evidence-check cocotb-axi4 cocotb-axi4-irq-w1c cocotb-axi4-multimaster cocotb-axi4-width-converter cocotb-dram-ctrl cocotb-iommu stream-bench lmbench-bw mlc-bench dma-buf-negative dramsim-sweep npu-2028-target-check npu-runtime-contract-check npu-roadmap-check npu-open-scale-model-check npu-scale-sim-check npu-context-queue-sim-check npu-context-queue-sim-test scale-feasibility-gate verification-maturity-matrix-check project-plan-check prototype-status-dashboard-check phone-soc-claim-check phone-media-pipeline-scope-check phone-media-pipeline-scope-test security-lifecycle-scope-check security-lifecycle-scope-test radio-sensor-pmic-scope-check radio-sensor-pmic-scope-test product-feature-gates-check product-check product-check-status-test product-release-check product-evidence-commands product-resolved-manifest pinout-check fpga-check fpga-release-check wifi-interface-check padframe-check board-package-evidence-check package-cross-probe-check kicad-artifact-check openlane-run-preflight-check physical-closure-work-order-check manufacturing-artifacts-check manufacturing-artifacts-release-check kicad-artifacts-check package-artifacts-check fpga-artifacts-check real-world-gates-check antenna-metadata-check antenna-metadata-release-check pd-preflight-check pd-contract-check pd-signoff-manifest-check bootrom-check rtl-check stub-audit cocotb cocotb-npu cocotb-contract cocotb-cpu verilator formal synth openlane openlane-smoke openroad qemu renode qemu-check qemu-check-strict qemu-os-check qemu-status-test renode-check renode-check-strict renode-status-test android-sim-boot-check android-sim-status-test aosp-linux-preflight aosp-linux-handoff aosp-linux-handoff-build-only platform-contract-check software-contract-check buildroot-check buildroot-scaffold-check buildroot-import-check buildroot-qemu-virt-smoke buildroot-qemu-virt-smoke-test aosp-build-preflight aosp-build-riscv64 bsp-scaffold-check software-bsp-check software-bsp-scaffold-check software-bsp-scope-check software-bsp-test docs-check tool-versions record-tool-versions pipeline-check archive-check archive-release clean
 
@@ -552,7 +560,7 @@ cocotb-iommu:
 	  COCOTB_TOPLEVEL=e1_iommu_tb COCOTB_DIR=verify/cocotb/iommu \
 	  scripts/run_cocotb.sh
 
-.PHONY: cocotb-soc-boot-smoke cocotb-cross-domain soc-integration-check cocotb-cva6-cpu cocotb-cva6-cpu-bootrom cocotb-cva6-cpu-dram cocotb-cva6-soc
+.PHONY: cocotb-soc-boot-smoke cocotb-cross-domain cocotb-opensbi-mpxy-rpmi soc-integration-check cocotb-cva6-cpu cocotb-cva6-cpu-bootrom cocotb-cva6-cpu-dram cocotb-cva6-soc
 
 cocotb-soc-boot-smoke:
 	@PYTHON=$(COCOTB_PYTHON) COCOTB_MODULE=test_soc_boot_smoke \
@@ -566,7 +574,18 @@ cocotb-cross-domain:
 	  COCOTB_DIR=verify/cocotb/integration \
 	  scripts/run_cocotb.sh
 
-soc-integration-check: cocotb-soc-boot-smoke cocotb-cross-domain
+# OpenSBI MPxy -> RPMI shmem -> AON Ibex PMC roundtrip.  Reports BLOCKED
+# skips by default; pass PMC_INSTANTIATE_IBEX=1 and PMC_RPMI_SHMEM_ROUNDTRIP=1
+# (and PMC_AON_SRAM_HEX=...) once the three remaining RTL/firmware bindings
+# tracked in docs/evidence/power/pmc-soc-integration-evidence.yaml::
+# mpxy_rpmi_roundtrip.remaining_bindings have landed.
+cocotb-opensbi-mpxy-rpmi:
+	@PYTHON=$(COCOTB_PYTHON) COCOTB_MODULE=test_opensbi_mpxy_to_pmc_rpmi \
+	  COCOTB_TOPLEVEL=e1_soc_integrated_tb \
+	  COCOTB_DIR=verify/cocotb/integration \
+	  scripts/run_cocotb.sh
+
+soc-integration-check: cocotb-soc-boot-smoke cocotb-cross-domain cocotb-opensbi-mpxy-rpmi
 	@$(PYTHON) scripts/check_soc_integration.py
 
 # ---------------------------------------------------------------------------
@@ -912,6 +931,30 @@ bootrom-check:
 cdc-rdc-intent-check:
 	@$(PYTHON) scripts/check_cdc_rdc_intent.py
 
+waveform-debug-policy-check:
+	@$(PYTHON) scripts/check_waveform_debug_policy.py
+
+external-model-corpus-intake-policy-check:
+	@$(PYTHON) scripts/check_external_model_corpus_intake_policy.py
+
+analog-automation-policy-check:
+	@$(PYTHON) scripts/check_analog_automation_policy.py
+
+hardware-security-ai-policy-check:
+	@$(PYTHON) scripts/check_hardware_security_ai_policy.py
+
+dft-atpg-policy-check:
+	@$(PYTHON) scripts/check_dft_atpg_policy.py
+
+power-thermal-ai-policy-check:
+	@$(PYTHON) scripts/check_power_thermal_ai_policy.py
+
+software-bsp-firmware-ai-policy-check:
+	@$(PYTHON) scripts/check_software_bsp_firmware_ai_policy.py
+
+spec-traceability-ai-policy-check:
+	@$(PYTHON) scripts/check_spec_traceability_ai_policy.py
+
 rtl-check:
 	@scripts/run_rtl_check.sh
 
@@ -990,7 +1033,7 @@ mpki-eval-model:
 	cocotb-cache-berti cocotb-cache-ipcp cocotb-cache-spp \
 	cocotb-cache-best-offset cocotb-cache-fdip cocotb-cache-hawkeye \
 	cocotb-cache-mockingjay cocotb-cache-mockingjay-accuracy \
-	cocotb-cache-coherence-vectors \
+	cocotb-cache-coherence-vectors cocotb-cache-moesi-dirty-shared \
 	formal-cache champsim-prefetch-sweep mockingjay-vs-lru-sweep \
 	lmbench-cache-curve stream-cache-bench pointer-chase-cache-bench
 
@@ -1001,9 +1044,10 @@ cocotb-cache: cocotb-cache-l1d cocotb-cache-l1i cocotb-cache-drrip \
 	cocotb-cache-stride cocotb-cache-bdi cocotb-cache-bdi-roundtrip \
 	cocotb-cache-berti cocotb-cache-ipcp cocotb-cache-spp \
 	cocotb-cache-best-offset cocotb-cache-fdip cocotb-cache-hawkeye \
-	cocotb-cache-mockingjay cocotb-cache-coherence-vectors
+	cocotb-cache-mockingjay cocotb-cache-coherence-vectors \
+	cocotb-cache-moesi-dirty-shared
 
-cocotb-cache-coherence: cocotb-cache-coherence-vectors
+cocotb-cache-coherence: cocotb-cache-coherence-vectors cocotb-cache-moesi-dirty-shared
 
 cocotb-cache-l1d:
 	@PYTHON=$(COCOTB_PYTHON) COCOTB_DIR=verify/cocotb/cache \
@@ -1083,6 +1127,11 @@ cocotb-cache-coherence-vectors:
 	  COCOTB_MODULE=test_coherence_vectors COCOTB_TOPLEVEL=e1_l1d_cache \
 	  scripts/run_cocotb_cache.sh
 
+cocotb-cache-moesi-dirty-shared:
+	@PYTHON=$(COCOTB_PYTHON) COCOTB_DIR=verify/cocotb/cache \
+	  COCOTB_MODULE=test_moesi_dirty_shared COCOTB_TOPLEVEL=e1_l3_tb \
+	  scripts/run_cocotb_cache.sh
+
 formal-cache:
 	@scripts/run_formal_cache.sh
 

packages/chip/docs/evidence/power/opensbi-pin-evidence.yaml

@@ -54,24 +54,32 @@ pin_check_run:
   outcome: "STATUS: PASS power.opensbi_pin - HEAD=74434f2 matches manifest pin"
 rv64_generic_build:
   command: >
-    make PLATFORM=generic CROSS_COMPILE=riscv64-linux-gnu- -j$(nproc)
+    PATH="$PWD/external/riscv64-linux-gnu/usr/bin:$PATH"
+    LD_LIBRARY_PATH=$PWD/external/riscv64-linux-gnu/usr/lib/x86_64-linux-gnu:$LD_LIBRARY_PATH
+    make PLATFORM=generic CROSS_COMPILE=riscv64-linux-gnu-
+    FW_FDT_PATH=$PWD/build/opensbi-eliza/eliza-rocket-pmc.dtb -j$(nproc)
   exit_status: 0
+  fdt_embedded:
+    dts_source: dts/eliza-rocket-pmc.dts
+    dtb_path: build/opensbi-eliza/eliza-rocket-pmc.dtb
+    dtb_bytes: 1734
+    dtb_sha256: b855840f28911741362d75a31517a0b842e8227dd32fa79d187bc12ae98c8a47
   artifacts:
     - path: external/opensbi/opensbi/build/platform/generic/firmware/fw_dynamic.bin
       bytes: 275928
-      sha256: 5bfe691ae891450fc570b4b536a6482fe5f3464e06e0f0882cadece9ebac2250
+      sha256: 3926bd7f26aea7809a4c33f06f42d54fbca19b86e156a727268fcf947d00ece8
     - path: external/opensbi/opensbi/build/platform/generic/firmware/fw_dynamic.elf
-      bytes: 2054200
-      sha256: 934e0573a7c9ed40bed73d041ff75428e3bd9f42430d5766b6ae3fbb59f11673
+      bytes: 2058352
+      sha256: 2db12afb4814a0576cfaf139d3ba10f5970393f9d7e8be3d5692bc68f78286e1
     - path: external/opensbi/opensbi/build/platform/generic/firmware/fw_jump.bin
       bytes: 275888
-      sha256: eb2da6e73ea3b3356e288cc8a6004532456f44feff3fd23da455bda46a3210a3
+      sha256: f1ea17e9fcc134a10a8a9e1935d74a9d2267240eea5b37b6dcb28870a9922e6d
     - path: external/opensbi/opensbi/build/platform/generic/firmware/fw_jump.elf
-      bytes: 2053792
-      sha256: 354fc6455b43fb2badf35b266ec32be5aa2542cd6119ac5d1f02889d96e2ff8b
+      bytes: 2057928
+      sha256: 1fecfd92e1eadc02edcd4caa5fde8c568cf641c25458044e78d11b94210f7ed7
     - path: external/opensbi/opensbi/build/platform/generic/firmware/fw_payload.bin
       bytes: 2105672
-      sha256: 89817764b4c7c6985de163f02aabb6aee97fc159826deb08d5230f5dd561417d
+      sha256: 697d3fa86d4edd056bfe1a30dbcbd73026ca328221136f0aa0ff274beeb0c4a5
 rv32_generic_build_blocked:
   attempted_command: >
     make PLATFORM=generic CROSS_COMPILE=riscv64-linux-gnu-