spec(PCIeHostBridge): promote PCIeHostBridge.SPEC.md to Draft #94
No reviewers
Labels
No labels
adr
agent:blocked-ci
agent:blocked-human
agent:blocked-resolver
agent:done
agent:in-progress
agent:no-touch
agent:pinged
agent:pr-open
agent:queued
agent:wip
area:board
area:funding
area:infra
area:phy
area:poplink
area:rtl
area:software
area:supply-chain
area:verification
ci-failed
ci-timeout
docs
do-not-merge
human-approved
needs-human-approval
needs-rebase
needs-triage
phase:1
ready-for-review
review:findings
review:pass
risk:tripwire
swarm:quarantined
No milestone
No project
No assignees
2 participants
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
Fluid/fluidpop-v1!94
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "spec/pciehostbridge-draft"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Refs #50 (companion Chisel skeleton, area:rtl, closed via #65).
Refs #80 (spec-designer role onboarding).
This PR is opened by the autonomous
spec-designerrole; perinfra/ops/agents/roles/spec-designer.shthe role is designer-drivenand runs without a dedicated source issue, so no
Closes #is attached.If the swarm policy requires a tracking issue per promotion, the
follow-up tweak belongs in the role script, not in this SPEC change.
Summary
Promotes
rtl/src/pop/specs/PCIeHostBridge.SPEC.mdfromStatus: Stub to Status: Draft. No behaviour, no Chisel, no
edits outside the single SPEC file. The IO contract is pinned to ADRs
and to sibling SPECs already in Draft (
FluidPopSoC,InterChipFabric); widths and signal sets that no source pins arerecorded as
_Open question:_rather than invented.Resolved TBDs
presence pinned to ADR-008 Decision ("in master mode the PCIe x16
endpoint is enabled, in slave mode it is gated"). Host-attach
exclusivity pinned to ADR-009 Decision ("PCIe Gen4 x16 retained only
on master chip for host-to-board connection"). Ball-budget envelope
~80 PCIe balls (Edu preliminary) pinned to ADR-014 Decision via the
parent SPEC
rtl/src/pop/specs/FluidPopSoC.SPEC.md §Interface.transaction set pinned to PLAN.md §3.6 ("REMOTE_READ_REQ/RESP,
REMOTE_WRITE, REMOTE_WRITE_ACK, ATOMIC_OP/RESP, DMA_DESC,
DMA_COMPLETE, BARRIER_ARRIVE/RELEASE, DOORBELL, BROADCAST, MGMT")
via the sibling Draft
rtl/src/pop/specs/InterChipFabric.SPEC.md §Interface. Cross-chip memory model pinned to ADR-011 Decision("Cross-chip data movement is explicit via PopLink transactions").
ADR-009 Decision (PopLink as inter-chip protocol). Specific BAR /
ATU counts and granularity recorded as Open.
remote-SoC DMA pinned to the PLAN.md §3.6
DMA_DESC/DMA_COMPLETEpacket types via the sibling DraftInterChipFabric.pinned to ADR-009 Decision (PopLink as inter-chip protocol),
ADR-008 Decision (single-master rule), PLAN.md §3.6 transaction set
via the sibling Draft, and ADR-011 Decision (non-coherent
cross-chip).
path pinned to the sibling Draft
rtl/src/pop/specs/InterChipFabric.SPEC.md §Behavior(ARQ / link-error escalation surface).from the Stub with the PCIe 5.0 §2.4 (Transaction Ordering)
reference the Stub already names.
preserved verbatim from the Stub.
preserved verbatim from the Stub.
Decision and ADR-008 Consequences ("All 8 chips share one mask set
(cheaper tapeout)"). Variant selection at elaboration time via
FluidPopMasterConfig/FluidPopSlaveConfigper PLAN.md §8.2via the parent SPEC
rtl/src/pop/specs/FluidPopSoC.SPEC.md §Behavior.ADR-009 Decision and the ADR-008 single-master rule, cross-checked
against the parent SPEC
rtl/src/pop/specs/FluidPopSoC.SPEC.md §Invariantssingle-master invariant.exit: pinned to the explicit transaction set of PLAN.md §3.6
via the sibling Draft
rtl/src/pop/specs/InterChipFabric.SPEC.md §Invariantsplus ADR-011 Decision software contract ("Softwareresponsibility to partition workloads and orchestrate data
movement").
Open questions (recorded as
_Open question:_in the SPEC)(lane / line-rate triple) — pending PCIe PHY vendor-selection ADR;
the parent SPEC
FluidPopSoC.SPEC.md §Interfaceexplicitly defersthis surface to this SPEC.
data-bus width, completion-credit accounting) — pending PHY
selection.
toward
InterChipFabric, request-ID width, in-flight trackingdepth) — mirrors the same Open question on the sibling Draft
InterChipFabric.SPEC.md §Interface; resolves jointly once oneside commits a concrete attach shape.
layout, and host-interrupt aggregation policy — pending
interrupt-policy ADR.
granularity — pending host-driver IOCTL commit.
scatter-gather entry count) — pending host-driver commit.
board-physical aperture vs per-chip BARs) — pending host-driver
ADR.
coalescing window, level-vs-edge semantics) — pending
interrupt-policy ADR.
Constraint check
**Status:**line flipped Stub → Draft.recorded as
_Open question:_). No fabricated widths or signalsets.
rtl/src/pop/specs/PCIeHostBridge.SPEC.mdchanges(ADR-017 off-limits path policy honoured).
§12.3, ADR-008, ADR-009). Draft body cites additional refs the
body relies on for pins (PLAN.md §3.6, §12.5, §12.7, ADR-011,
ADR-014) — added refs only, none removed.
(
FluidPopSoC,InterChipFabric). Stub siblings(
PopLinkPHY_Behavioral,PopRoCCRouter,PopSoCConfig) arenot used as Draft-pin sources.
## Promotion historyappended with the 2026-05-26 entry.commitments — every number quoted has an ADR title or Decision
as source.
VERDICT: PASS
PR #94 promotes
rtl/src/pop/specs/PCIeHostBridge.SPEC.mdfrom Stub to Draft following the same disciplined pattern as PR #87, PR #91, PR #92, and PR #93. Mechanical guardrails pass: existing SPDX header preserved (diff starts at line 4), single file touched, no AI/Anthropic attribution, no off-limits paths, no Chisel module so rules 4–6 don't apply, autonomousspec-designerrole explains missingCloses #. Rule 7 is the critical one and the PR is meticulous: every concrete claim is a verbatim quote from an ADR Decision/Consequences or a PLAN.md section, with the source pinned inline. Cross-checking against approved PRs in this thread: ADR-008 Decision quote ("SoC 0 = identical mask set with eFuse / tie-off bit selecting master mode; in master mode the PCIe x16 endpoint is enabled, in slave mode it is gated") and Consequences ("All 8 chips share one mask set (cheaper tapeout)") match PR #87 verbatim; ADR-009 Decision ("Adopt PopLink as the inter-chip protocol (4 layers: PHY/Link/Routing/Transaction)" + "PCIe Gen4 x16 retained only on master chip for host-to-board connection") matches PR #91; ADR-011 Decision ("Cross-chip data movement is explicit via PopLink transactions" + software-responsibility consequence) matches PR #87/#91/#92/#93; PLAN.md §3.6 transaction set ("REMOTE_READ_REQ/RESP, REMOTE_WRITE, REMOTE_WRITE_ACK, ATOMIC_OP/RESP, DMA_DESC, DMA_COMPLETE, BARRIER_ARRIVE/RELEASE, DOORBELL, BROADCAST, MGMT") matches PR #91/#93; ADR-014's ~80 PCIe-ball envelope matches PR #87. PCIe-specific facts that could tempt fabrication (BAR count, per-BAR size, ATU window count and granularity, MSI-X vector count, DMA descriptor format, lane/line-rate triple, host-side aperture mapping, interrupt-aggregation policy) are all honestly parked as Open Questions tied to pending ADRs (PCIe PHY vendor selection, host-driver IOCTL commit, interrupt-policy ADR) rather than invented. PCIe-spec invariants preserved from the Stub (PCIe 5.0 §2.4 transaction ordering, completion-timeout window, no unsolicited fabric→host TLP) are framed as hard correctness contracts at the host boundary rather than redefined. Sibling Draft references (FluidPopSoC §Interface/§Behavior/§Invariants, InterChipFabric §Interface/§Behavior/§Invariants) cite SPECs that are in fact Draft per PR #87 and PR #91, exactly as the constraint check states; Stub-status siblings (PopLinkPHY_Behavioral, PopRoCCRouter, PopSoCConfig) are not used as Draft-pin sources. The chip-side fabric-port "Open question" honestly mirrors the same shape recorded as Open on InterChipFabric's side, with explicit text saying it "resolves jointly once one of the two SPECs commits a concrete attach shape" — that's the right way to handle paired Open questions across sibling SPECs. Promotion history entry is appropriate.Findings
None.
CI green (head
360ed02049), auto-approving