PTO-SCALAR-MODEL-DISPATCH-AGU

PTO-SCALAR-MODEL-DISPATCH-AGU

ASL pseudocode

The complete ASL owner is shown directly below.

1// PTO-UNIT: {"id":"PTO-SCALAR-MODEL-DISPATCH-AGU","surface":"scalar","classification":["model","dispatch","agu"],"depends_on":["PTO-SCALAR-MODEL-DISPATCH-DECODE","PTO-SCALAR-MODEL-AGU-ADDRESSING","PTO-SCALAR-C-LDI","PTO-SCALAR-C-LWI","PTO-SCALAR-C-SDI","PTO-SCALAR-C-SWI","PTO-SCALAR-HL-LB-PCR","PTO-SCALAR-HL-LB-PO","PTO-SCALAR-HL-LB-PR","PTO-SCALAR-HL-LBI-PO","PTO-SCALAR-HL-LBI-PR","PTO-SCALAR-HL-LBI","PTO-SCALAR-HL-LBIP","PTO-SCALAR-HL-LBP","PTO-SCALAR-HL-LBU-PCR","PTO-SCALAR-HL-LBU-PO","PTO-SCALAR-HL-LBU-PR","PTO-SCALAR-HL-LBUI-PO","PTO-SCALAR-HL-LBUI-PR","PTO-SCALAR-HL-LBUI","PTO-SCALAR-HL-LBUIP","PTO-SCALAR-HL-LBUP","PTO-SCALAR-HL-LD-PCR","PTO-SCALAR-HL-LD-PO","PTO-SCALAR-HL-LD-PR","PTO-SCALAR-HL-LDI-PO","PTO-SCALAR-HL-LDI-PR","PTO-SCALAR-HL-LDI-U","PTO-SCALAR-HL-LDI-UPO","PTO-SCALAR-HL-LDI-UPR","PTO-SCALAR-HL-LDI","PTO-SCALAR-HL-LDIP-U","PTO-SCALAR-HL-LDIP","PTO-SCALAR-HL-LDP","PTO-SCALAR-HL-LH-PCR","PTO-SCALAR-HL-LH-PO","PTO-SCALAR-HL-LH-PR","PTO-SCALAR-HL-LHI-PO","PTO-SCALAR-HL-LHI-PR","PTO-SCALAR-HL-LHI-U","PTO-SCALAR-HL-LHI-UPO","PTO-SCALAR-HL-LHI-UPR","PTO-SCALAR-HL-LHI","PTO-SCALAR-HL-LHIP-U","PTO-SCALAR-HL-LHIP","PTO-SCALAR-HL-LHP","PTO-SCALAR-HL-LHU-PCR","PTO-SCALAR-HL-LHU-PO","PTO-SCALAR-HL-LHU-PR","PTO-SCALAR-HL-LHUI-PO","PTO-SCALAR-HL-LHUI-PR","PTO-SCALAR-HL-LHUI-U","PTO-SCALAR-HL-LHUI-UPO","PTO-SCALAR-HL-LHUI-UPR","PTO-SCALAR-HL-LHUI","PTO-SCALAR-HL-LHUIP-U","PTO-SCALAR-HL-LHUIP","PTO-SCALAR-HL-LHUP","PTO-SCALAR-HL-LW-PCR","PTO-SCALAR-HL-LW-PO","PTO-SCALAR-HL-LW-PR","PTO-SCALAR-HL-LWI-PO","PTO-SCALAR-HL-LWI-PR","PTO-SCALAR-HL-LWI-U","PTO-SCALAR-HL-LWI-UPO","PTO-SCALAR-HL-LWI-UPR","PTO-SCALAR-HL-LWI","PTO-SCALAR-HL-LWIP-U","PTO-SCALAR-HL-LWIP","PTO-SCALAR-HL-LWP","PTO-SCALAR-HL-LWU-PCR","PTO-SCALAR-HL-LWU-PO","PTO-SCALAR-HL-LWU-PR","PTO-SCALAR-HL-LWUI-PO","PTO-SCALAR-HL-LWUI-PR","PTO-SCALAR-HL-LWUI-U","PTO-SCALAR-HL-LWUI-UPO","PTO-SCALAR-HL-LWUI-UPR","PTO-SCALAR-HL-LWUI","PTO-SCALAR-HL-LWUIP-U","PTO-SCALAR-HL-LWUIP","PTO-SCALAR-HL-LWUP","PTO-SCALAR-HL-PRF-A","PTO-SCALAR-HL-PRF","PTO-SCALAR-HL-PRFI-U","PTO-SCALAR-HL-PRFI-UA","PTO-SCALAR-HL-SB-PCR","PTO-SCALAR-HL-SB-PO","PTO-SCALAR-HL-SB-PR","PTO-SCALAR-HL-SBI-PO","PTO-SCALAR-HL-SBI-PR","PTO-SCALAR-HL-SBI","PTO-SCALAR-HL-SBIP","PTO-SCALAR-HL-SBP","PTO-SCALAR-HL-SD-PCR","PTO-SCALAR-HL-SD-PO","PTO-SCALAR-HL-SD-PR","PTO-SCALAR-HL-SD-UPO","PTO-SCALAR-HL-SD-UPR","PTO-SCALAR-HL-SDI-PO","PTO-SCALAR-HL-SDI-PR","PTO-SCALAR-HL-SDI-U","PTO-SCALAR-HL-SDI-UPO","PTO-SCALAR-HL-SDI-UPR","PTO-SCALAR-HL-SDI","PTO-SCALAR-HL-SDIP-U","PTO-SCALAR-HL-SDIP","PTO-SCALAR-HL-SDP-U","PTO-SCALAR-HL-SDP","PTO-SCALAR-HL-SH-PCR","PTO-SCALAR-HL-SH-PO","PTO-SCALAR-HL-SH-PR","PTO-SCALAR-HL-SH-UPO","PTO-SCALAR-HL-SH-UPR","PTO-SCALAR-HL-SHI-PO","PTO-SCALAR-HL-SHI-PR","PTO-SCALAR-HL-SHI-U","PTO-SCALAR-HL-SHI-UPO","PTO-SCALAR-HL-SHI-UPR","PTO-SCALAR-HL-SHI","PTO-SCALAR-HL-SHIP-U","PTO-SCALAR-HL-SHIP","PTO-SCALAR-HL-SHP-U","PTO-SCALAR-HL-SHP","PTO-SCALAR-HL-SW-PCR","PTO-SCALAR-HL-SW-PO","PTO-SCALAR-HL-SW-PR","PTO-SCALAR-HL-SW-UPO","PTO-SCALAR-HL-SW-UPR","PTO-SCALAR-HL-SWI-PO","PTO-SCALAR-HL-SWI-PR","PTO-SCALAR-HL-SWI-U","PTO-SCALAR-HL-SWI-UPO","PTO-SCALAR-HL-SWI-UPR","PTO-SCALAR-HL-SWI","PTO-SCALAR-HL-SWIP-U","PTO-SCALAR-HL-SWIP","PTO-SCALAR-HL-SWP-U","PTO-SCALAR-HL-SWP","PTO-SCALAR-LB-PCR","PTO-SCALAR-LB","PTO-SCALAR-LBI","PTO-SCALAR-LBU-PCR","PTO-SCALAR-LBU","PTO-SCALAR-LBUI","PTO-SCALAR-LD-PCR","PTO-SCALAR-LD","PTO-SCALAR-LDI-U","PTO-SCALAR-LDI","PTO-SCALAR-LH-PCR","PTO-SCALAR-LH","PTO-SCALAR-LHI-U","PTO-SCALAR-LHI","PTO-SCALAR-LHU-PCR","PTO-SCALAR-LHU","PTO-SCALAR-LHUI-U","PTO-SCALAR-LHUI","PTO-SCALAR-LW-PCR","PTO-SCALAR-LW","PTO-SCALAR-LWI-U","PTO-SCALAR-LWI","PTO-SCALAR-LWU-PCR","PTO-SCALAR-LWU","PTO-SCALAR-LWUI-U","PTO-SCALAR-LWUI","PTO-SCALAR-PRF","PTO-SCALAR-PRFI-U","PTO-SCALAR-SB-PCR","PTO-SCALAR-SB","PTO-SCALAR-SBI","PTO-SCALAR-SD-PCR","PTO-SCALAR-SD-U","PTO-SCALAR-SD","PTO-SCALAR-SDI-U","PTO-SCALAR-SDI","PTO-SCALAR-SH-PCR","PTO-SCALAR-SH-U","PTO-SCALAR-SH","PTO-SCALAR-SHI-U","PTO-SCALAR-SHI","PTO-SCALAR-SW-PCR","PTO-SCALAR-SW-U","PTO-SCALAR-SW","PTO-SCALAR-SWI-U","PTO-SCALAR-SWI"]}2pure func ScalarDecodedAGUImmediate(3    instruction: bits(48), form: integer {0..PTO_SCALAR_FORM_COUNT-1}) => Word4begin5    if ScalarOperandPresent(form, ScalarField_simm5) then6        return ScalarDecodedWord(instruction, form, ScalarField_simm5);7    elsif ScalarOperandPresent(form, ScalarField_simm12) then8        return ScalarDecodedWord(instruction, form, ScalarField_simm12);9    elsif ScalarOperandPresent(form, ScalarField_simm17) then10        return ScalarDecodedWord(instruction, form, ScalarField_simm17);11    elsif ScalarOperandPresent(form, ScalarField_simm22) then12        return ScalarDecodedWord(instruction, form, ScalarField_simm22);13    else14        return ScalarDecodedWord(instruction, form, ScalarField_simm);15    end;16end;17
18readonly func ScalarDecodedAGUBase(19    instruction: bits(48), form: integer {0..PTO_SCALAR_FORM_COUNT-1},20    action: ScalarAGUAction, address_kind: ScalarAGUAddressKind) => Word21begin22    if address_kind == ScalarAGU_PCRelative then23        var aligned_tpc = ReadTPC();24        aligned_tpc[1:0] = Zeros{2};25        return aligned_tpc;26    elsif address_kind == ScalarAGU_Compressed then27        return ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL);28    elsif (action == ScalarAGU_Store || action == ScalarAGU_StorePair) &&29          address_kind == ScalarAGU_Immediate then30        return ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR);31    else32        return ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL);33    end;34end;35
36readonly func ScalarDecodedAGUOffset(37    instruction: bits(48), form: integer {0..PTO_SCALAR_FORM_COUNT-1},38    address_kind: ScalarAGUAddressKind) => Word39begin40    let scale = ScalarAGUOffsetScaleOfForm(form);41    if address_kind == ScalarAGU_Register then42        let unshifted = ApplyScalarRightModifier(43            ReadDecodedScalarRegister(instruction, form, ScalarField_SrcR),44            ScalarDecodedAddressRightModifier(instruction, form), FALSE);45        let shift_amount = if ScalarOperandPresent(form, ScalarField_shamt) then46            ScalarDecodedUInt6(instruction, form, ScalarField_shamt)47            else scale;48        return LSL(unshifted, shift_amount);49    else50        return LSL(ScalarDecodedAGUImmediate(instruction, form), scale);51    end;52end;53
54pure func NormalizeScalarLoadResult(value: Word,55                                    size_bytes: integer {1,2,4,8},56                                    signed_load: boolean) => Word57begin58    if signed_load then59        case size_bytes of60            when 1 => return SignExtend{PTO_XLEN}(value[7:0]);61            when 2 => return SignExtend{PTO_XLEN}(value[15:0]);62            when 4 => return SignExtend{PTO_XLEN}(value[31:0]);63            when 8 => return value;64        end;65    end;66    case size_bytes of67        when 1 => return ZeroExtend{PTO_XLEN}(value[7:0]);68        when 2 => return ZeroExtend{PTO_XLEN}(value[15:0]);69        when 4 => return ZeroExtend{PTO_XLEN}(value[31:0]);70        when 8 => return value;71    end;72end;73
74func ExecuteDecodedAGULoad(75    instruction: bits(48), form: integer {0..PTO_SCALAR_FORM_COUNT-1},76    address: Word, updated_base: Word, update_mode: AddressUpdateMode,77    size_bytes: integer {1,2,4,8})78begin79    let value = LoadUnsigned(address, size_bytes);80    if _LastFault == Fault_None then81        let normalized = NormalizeScalarLoadResult(82            value, size_bytes, ScalarAGUSignedLoadOfForm(form));83        if ScalarAGUAddressKindOfForm(form) == ScalarAGU_Compressed then84            WriteCompressedTResult(normalized);85        elsif update_mode == AddressUpdate_None then86            WriteScalarDestination(87                ScalarDecodedSelector(instruction, form, ScalarField_RegDst),88                normalized);89        else90            WriteScalarDestination(91                ScalarDecodedSelector(instruction, form, ScalarField_RegDst0),92                normalized);93            WriteScalarDestination(94                ScalarDecodedSelector(instruction, form, ScalarField_RegDst1),95                updated_base);96        end;97    end;98end;99
100func ExecuteDecodedAGULoadPair(101    instruction: bits(48), form: integer {0..PTO_SCALAR_FORM_COUNT-1},102    address: Word, size_bytes: integer {1,2,4,8})103begin104    let second_address =105        address + NaturalToWord(size_bytes as integer {0..262144});106    let first_probe = ProbeDataAccess(address, size_bytes, size_bytes, FALSE);107    if RaiseDataAccessFault(first_probe, address) then return; end;108    let second_probe = ProbeDataAccess(109        second_address, size_bytes, size_bytes, FALSE);110    if RaiseDataAccessFault(second_probe, second_address) then return; end;111    let first = LoadTranslatedUnsigned(first_probe.translated_address, size_bytes);112    let second = LoadTranslatedUnsigned(second_probe.translated_address, size_bytes);113    RecordLoadEvent(first_probe.translated_address, size_bytes, first,114        MemoryOrder_Relaxed);115    RecordLoadEvent(second_probe.translated_address, size_bytes, second,116        MemoryOrder_Relaxed);117    WriteScalarDestination(118        ScalarDecodedSelector(instruction, form, ScalarField_RegDst0),119        NormalizeScalarLoadResult(first, size_bytes,120            ScalarAGUSignedLoadOfForm(form)));121    WriteScalarDestination(122        ScalarDecodedSelector(instruction, form, ScalarField_RegDst1),123        NormalizeScalarLoadResult(second, size_bytes,124            ScalarAGUSignedLoadOfForm(form)));125end;126
127readonly func ReadDecodedAGUStoreSource(128    instruction: bits(48), form: integer {0..PTO_SCALAR_FORM_COUNT-1}) => Word129begin130    if ScalarOperandPresent(form, ScalarField_SrcD) then131        return ReadDecodedScalarRegister(instruction, form, ScalarField_SrcD);132    elsif ScalarAGUAddressKindOfForm(form) == ScalarAGU_Compressed then133        return ReadScalarRegisterOperand(24);134    else135        return ReadDecodedScalarRegister(instruction, form, ScalarField_SrcL);136    end;137end;138
139func ExecuteDecodedAGUStore(140    instruction: bits(48), form: integer {0..PTO_SCALAR_FORM_COUNT-1},141    address: Word, updated_base: Word, update_mode: AddressUpdateMode,142    size_bytes: integer {1,2,4,8})143begin144    let source = ReadDecodedAGUStoreSource(instruction, form);145    Store(address, size_bytes, source);146    if _LastFault == Fault_None && update_mode != AddressUpdate_None then147        WriteScalarDestination(148            ScalarDecodedSelector(instruction, form, ScalarField_RegDst),149            updated_base);150    end;151end;152
153func ExecuteDecodedAGUStorePair(154    instruction: bits(48), form: integer {0..PTO_SCALAR_FORM_COUNT-1},155    address: Word, size_bytes: integer {1,2,4,8})156begin157    let second_address =158        address + NaturalToWord(size_bytes as integer {0..262144});159    let first_probe = ProbeDataAccess(address, size_bytes, size_bytes, TRUE);160    if RaiseDataAccessFault(first_probe, address) then return; end;161    let second_probe = ProbeDataAccess(162        second_address, size_bytes, size_bytes, TRUE);163    if RaiseDataAccessFault(second_probe, second_address) then return; end;164    let first = ReadDecodedScalarRegister(instruction, form, ScalarField_SrcD);165    let second = ReadDecodedScalarRegister(instruction, form, ScalarField_SrcD1);166    StoreTranslated(address, first_probe.translated_address, size_bytes, first);167    RecordStoreEvent(first_probe.translated_address, size_bytes, first,168        MemoryOrder_Relaxed);169    StoreTranslated(second_address, second_probe.translated_address,170        size_bytes, second);171    RecordStoreEvent(second_probe.translated_address, size_bytes, second,172        MemoryOrder_Relaxed);173end;174
175func ExecuteDecodedAGUForm(instruction: bits(48),176                           form: integer {0..PTO_SCALAR_FORM_COUNT-1})177begin178    let action = ScalarAGUActionOfForm(form);179    let address_kind = ScalarAGUAddressKindOfForm(form);180    let update_mode = ScalarAGUUpdateModeOfForm(form);181    let size_bytes = ScalarAGUSizeOfForm(form);182    let base = ScalarDecodedAGUBase(instruction, form, action, address_kind);183    let offset = ScalarDecodedAGUOffset(instruction, form, address_kind);184    let updated_base = base + offset;185    let address = if update_mode == AddressUpdate_PostIndex then base186                  else updated_base;187    case action of188        when ScalarAGU_Load =>189            ExecuteDecodedAGULoad(instruction, form, address, updated_base,190                update_mode, size_bytes);191        when ScalarAGU_LoadPair =>192            ExecuteDecodedAGULoadPair(193                instruction, form, address, size_bytes);194        when ScalarAGU_Store =>195            ExecuteDecodedAGUStore(instruction, form, address, updated_base,196                update_mode, size_bytes);197        when ScalarAGU_StorePair =>198            ExecuteDecodedAGUStorePair(199                instruction, form, address, size_bytes);200        when ScalarAGU_Prefetch =>201            let model = DecodeScalarOperandRaw(202                instruction, form, ScalarField_model)[4:0];203            ScalarPrefetch(base, offset, size_bytes, model);204            if ScalarAGUPrefetchReturnsAddress(form) then205                WriteScalarDestination(206                    ScalarDecodedSelector(instruction, form, ScalarField_RegDst),207                    ScalarPrefetchAddress(base, offset));208            end;209    end;210end;211

Architecture behavior

This internal model unit is documented through its normative ASL/NDF owners and validation evidence; it has no reader-guide migration target.

NDF clauses

Bodies come from owning ASL. Dragging or buttons change only this page-session view order.

No NDF clause is attached to this unit.

Evidence index

6 matching entries

Executable evidence1

PTO-SCALAR-MODEL-DISPATCH-AGU compiles as an independent normative unit
1. surfaceSCALAR
2. ownerPTO-SCALAR-MODEL-DISPATCH-AGU
3. categorySTATIC-INVARIANT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-SCALAR-MODEL-DISPATCH-AGU-STATIC-001
Path
tests/asl/scalar/model/dispatch/agu/scalar-static-agu-contract-001.asl
Kind / role
static-invariant
Pass condition
the complete model and this unit's static invariant compile
SHA-256
d81d2fb1715b1e54c57ebee69c4ae8366fb0a817a795e0d3a5fa4ad490005b7e
Open exact source ↗ for PTO-AVS-SCALAR-MODEL-DISPATCH-AGU-STATIC-001

Commit-scoped evidence5

spec/evidence/release-traceability-readiness.json · closedPTO-EVIDENCE-RELEASE-TRACEABILITY
Sources and references
Complete stable ID
PTO-EVIDENCE-RELEASE-TRACEABILITY
Path
spec/evidence/release-traceability-readiness.json
Kind / role
ASL/NDF/documentation/AVS traceability
SHA-256
c7327021d39dc67ac5564bc55073b3870a397d79ac8d9648284d56e33bc14a3e
Open exact source ↗ for PTO-EVIDENCE-RELEASE-TRACEABILITY
spec/evidence/instruction-contract-closure.json · closedPTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE
Sources and references
Complete stable ID
PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE
Path
spec/evidence/instruction-contract-closure.json
Kind / role
mnemonic and encoding contract closure
SHA-256
3ef2bb62421c79dff8fa77a1c7983923b523244b8090812883ef81286ca8106a
Open exact source ↗ for PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE
spec/evidence/architecture-readiness.json · openPTO-EVIDENCE-ARCHITECTURE-READINESS
Sources and references
Complete stable ID
PTO-EVIDENCE-ARCHITECTURE-READINESS
Path
spec/evidence/architecture-readiness.json
Kind / role
architecture maturity and blockers
SHA-256
4b0b85199101251bea744e0f3591cc31906909dc80d5ab651c417a936036a004
Open exact source ↗ for PTO-EVIDENCE-ARCHITECTURE-READINESS
spec/evidence/release-gate-readiness.json · ready-for-exact-head-verificationPTO-EVIDENCE-RELEASE-GATE-READINESS
Sources and references
Complete stable ID
PTO-EVIDENCE-RELEASE-GATE-READINESS
Path
spec/evidence/release-gate-readiness.json
Kind / role
exact-head gate readiness
SHA-256
a0f4d2b6920c08981ea55fd8ef820708a40d4feb5402c5150e8e9ab532d84ce0
Open exact source ↗ for PTO-EVIDENCE-RELEASE-GATE-READINESS
spec/release-manifest.json · draftPTO-EVIDENCE-RELEASE-MANIFEST
Sources and references
Complete stable ID
PTO-EVIDENCE-RELEASE-MANIFEST
Path
spec/release-manifest.json
Kind / role
release content and encoding fingerprints
SHA-256
1a64c109ed7a90351c41e2a418b3c0ebaf8ad975838986d2101385186b85c0d8
Open exact source ↗ for PTO-EVIDENCE-RELEASE-MANIFEST

Unit metadata

Open 4 generated metadata fields

id: PTO-SCALAR-MODEL-DISPATCH-AGU
surface: scalar
classification: [ "model", "dispatch", "agu" ]
depends_on: [ "PTO-SCALAR-MODEL-DISPATCH-DECODE", "PTO-SCALAR-MODEL-AGU-ADDRESSING", "PTO-SCALAR-C-LDI", "PTO-SCALAR-C-LWI", "PTO-SCALAR-C-SDI", "PTO-SCALAR-C-SWI", "PTO-SCALAR-HL-LB-PCR", "PTO-SCALAR-HL-LB-PO", "PTO-SCALAR-HL-LB-PR", "PTO-SCALAR-HL-LBI-PO", "PTO-SCALAR-HL-LBI-PR", "PTO-SCALAR-HL-LBI", "PTO-SCALAR-HL-LBIP", "PTO-SCALAR-HL-LBP", "PTO-SCALAR-HL-LBU-PCR", "PTO-SCALAR-HL-LBU-PO", "PTO-SCALAR-HL-LBU-PR", "PTO-SCALAR-HL-LBUI-PO", "PTO-SCALAR-HL-LBUI-PR", "PTO-SCALAR-HL-LBUI", "PTO-SCALAR-HL-LBUIP", "PTO-SCALAR-HL-LBUP", "PTO-SCALAR-HL-LD-PCR", "PTO-SCALAR-HL-LD-PO", "PTO-SCALAR-HL-LD-PR", "PTO-SCALAR-HL-LDI-PO", "PTO-SCALAR-HL-LDI-PR", "PTO-SCALAR-HL-LDI-U", "PTO-SCALAR-HL-LDI-UPO", "PTO-SCALAR-HL-LDI-UPR", "PTO-SCALAR-HL-LDI", "PTO-SCALAR-HL-LDIP-U", "PTO-SCALAR-HL-LDIP", "PTO-SCALAR-HL-LDP", "PTO-SCALAR-HL-LH-PCR", "PTO-SCALAR-HL-LH-PO", "PTO-SCALAR-HL-LH-PR", "PTO-SCALAR-HL-LHI-PO", "PTO-SCALAR-HL-LHI-PR", "PTO-SCALAR-HL-LHI-U", "PTO-SCALAR-HL-LHI-UPO", "PTO-SCALAR-HL-LHI-UPR", "PTO-SCALAR-HL-LHI", "PTO-SCALAR-HL-LHIP-U", "PTO-SCALAR-HL-LHIP", "PTO-SCALAR-HL-LHP", "PTO-SCALAR-HL-LHU-PCR", "PTO-SCALAR-HL-LHU-PO", "PTO-SCALAR-HL-LHU-PR", "PTO-SCALAR-HL-LHUI-PO", "PTO-SCALAR-HL-LHUI-PR", "PTO-SCALAR-HL-LHUI-U", "PTO-SCALAR-HL-LHUI-UPO", "PTO-SCALAR-HL-LHUI-UPR", "PTO-SCALAR-HL-LHUI", "PTO-SCALAR-HL-LHUIP-U", "PTO-SCALAR-HL-LHUIP", "PTO-SCALAR-HL-LHUP", "PTO-SCALAR-HL-LW-PCR", "PTO-SCALAR-HL-LW-PO", "PTO-SCALAR-HL-LW-PR", "PTO-SCALAR-HL-LWI-PO", "PTO-SCALAR-HL-LWI-PR", "PTO-SCALAR-HL-LWI-U", "PTO-SCALAR-HL-LWI-UPO", "PTO-SCALAR-HL-LWI-UPR", "PTO-SCALAR-HL-LWI", "PTO-SCALAR-HL-LWIP-U", "PTO-SCALAR-HL-LWIP", "PTO-SCALAR-HL-LWP", "PTO-SCALAR-HL-LWU-PCR", "PTO-SCALAR-HL-LWU-PO", "PTO-SCALAR-HL-LWU-PR", "PTO-SCALAR-HL-LWUI-PO", "PTO-SCALAR-HL-LWUI-PR", "PTO-SCALAR-HL-LWUI-U", "PTO-SCALAR-HL-LWUI-UPO", "PTO-SCALAR-HL-LWUI-UPR", "PTO-SCALAR-HL-LWUI", "PTO-SCALAR-HL-LWUIP-U", "PTO-SCALAR-HL-LWUIP", "PTO-SCALAR-HL-LWUP", "PTO-SCALAR-HL-PRF-A", "PTO-SCALAR-HL-PRF", "PTO-SCALAR-HL-PRFI-U", "PTO-SCALAR-HL-PRFI-UA", "PTO-SCALAR-HL-SB-PCR", "PTO-SCALAR-HL-SB-PO", "PTO-SCALAR-HL-SB-PR", "PTO-SCALAR-HL-SBI-PO", "PTO-SCALAR-HL-SBI-PR", "PTO-SCALAR-HL-SBI", "PTO-SCALAR-HL-SBIP", "PTO-SCALAR-HL-SBP", "PTO-SCALAR-HL-SD-PCR", "PTO-SCALAR-HL-SD-PO", "PTO-SCALAR-HL-SD-PR", "PTO-SCALAR-HL-SD-UPO", "PTO-SCALAR-HL-SD-UPR", "PTO-SCALAR-HL-SDI-PO", "PTO-SCALAR-HL-SDI-PR", "PTO-SCALAR-HL-SDI-U", "PTO-SCALAR-HL-SDI-UPO", "PTO-SCALAR-HL-SDI-UPR", "PTO-SCALAR-HL-SDI", "PTO-SCALAR-HL-SDIP-U", "PTO-SCALAR-HL-SDIP", "PTO-SCALAR-HL-SDP-U", "PTO-SCALAR-HL-SDP", "PTO-SCALAR-HL-SH-PCR", "PTO-SCALAR-HL-SH-PO", "PTO-SCALAR-HL-SH-PR", "PTO-SCALAR-HL-SH-UPO", "PTO-SCALAR-HL-SH-UPR", "PTO-SCALAR-HL-SHI-PO", "PTO-SCALAR-HL-SHI-PR", "PTO-SCALAR-HL-SHI-U", "PTO-SCALAR-HL-SHI-UPO", "PTO-SCALAR-HL-SHI-UPR", "PTO-SCALAR-HL-SHI", "PTO-SCALAR-HL-SHIP-U", "PTO-SCALAR-HL-SHIP", "PTO-SCALAR-HL-SHP-U", "PTO-SCALAR-HL-SHP", "PTO-SCALAR-HL-SW-PCR", "PTO-SCALAR-HL-SW-PO", "PTO-SCALAR-HL-SW-PR", "PTO-SCALAR-HL-SW-UPO", "PTO-SCALAR-HL-SW-UPR", "PTO-SCALAR-HL-SWI-PO", "PTO-SCALAR-HL-SWI-PR", "PTO-SCALAR-HL-SWI-U", "PTO-SCALAR-HL-SWI-UPO", "PTO-SCALAR-HL-SWI-UPR", "PTO-SCALAR-HL-SWI", "PTO-SCALAR-HL-SWIP-U", "PTO-SCALAR-HL-SWIP", "PTO-SCALAR-HL-SWP-U", "PTO-SCALAR-HL-SWP", "PTO-SCALAR-LB-PCR", "PTO-SCALAR-LB", "PTO-SCALAR-LBI", "PTO-SCALAR-LBU-PCR", "PTO-SCALAR-LBU", "PTO-SCALAR-LBUI", "PTO-SCALAR-LD-PCR", "PTO-SCALAR-LD", "PTO-SCALAR-LDI-U", "PTO-SCALAR-LDI", "PTO-SCALAR-LH-PCR", "PTO-SCALAR-LH", "PTO-SCALAR-LHI-U", "PTO-SCALAR-LHI", "PTO-SCALAR-LHU-PCR", "PTO-SCALAR-LHU", "PTO-SCALAR-LHUI-U", "PTO-SCALAR-LHUI", "PTO-SCALAR-LW-PCR", "PTO-SCALAR-LW", "PTO-SCALAR-LWI-U", "PTO-SCALAR-LWI", "PTO-SCALAR-LWU-PCR", "PTO-SCALAR-LWU", "PTO-SCALAR-LWUI-U", "PTO-SCALAR-LWUI", "PTO-SCALAR-PRF", "PTO-SCALAR-PRFI-U", "PTO-SCALAR-SB-PCR", "PTO-SCALAR-SB", "PTO-SCALAR-SBI", "PTO-SCALAR-SD-PCR", "PTO-SCALAR-SD-U", "PTO-SCALAR-SD", "PTO-SCALAR-SDI-U", "PTO-SCALAR-SDI", "PTO-SCALAR-SH-PCR", "PTO-SCALAR-SH-U", "PTO-SCALAR-SH", "PTO-SCALAR-SHI-U", "PTO-SCALAR-SHI", "PTO-SCALAR-SW-PCR", "PTO-SCALAR-SW-U", "PTO-SCALAR-SW", "PTO-SCALAR-SWI-U", "PTO-SCALAR-SWI" ]

Open generated traceability record

{
  "classification": [
    "model",
    "dispatch",
    "agu"
  ],
  "documentation": "docs/scalar/model/dispatch/agu.md",
  "id": "PTO-SCALAR-MODEL-DISPATCH-AGU",
  "mnemonic": null,
  "readiness_subjects": [],
  "semantic_tests": [],
  "source": "asl/scalar/model/dispatch/agu.asl",
  "surface": "scalar",
  "tests": [
    "PTO-AVS-SCALAR-MODEL-DISPATCH-AGU-STATIC-001"
  ]
}

Sources and release identity

Show commit, paths, hashes, version, and canonical owners

Release: 0.58.5 · Release candidate
Commit: 7dc8b7e5b121d2b2499a2273bebff29e2cd86812
Original ASL: asl/scalar/model/dispatch/agu.asl
ASL SHA-256: 1e22037018ca860fef794052cda29bf99103c543ae2b6391fce292a5cba9f682
Generated documentation: docs/scalar/model/dispatch/agu.md · embedded in this page
Documentation SHA-256: ca098346e92b02ccb6e0feb5e51bdc9983f38cb6ebf23771326247e7b7f17a5d

Exact owners

ASL PTO-SCALAR-MODEL-DISPATCH-AGU asl/scalar/model/dispatch/agu.asl