PTO-ARCH-PROFILE-RESET

1// PTO-UNIT: {"id":"PTO-ARCH-PROFILE-RESET","surface":"arch","classification":["profile","reset"],"depends_on":["generated:decoders","PTO-ARCH-SYSTEM-REGISTERS-MAINTENANCE","PTO-TILE-MODEL-STATE-FEATURE-MAP-DESCRIPTORS"]}2// PTO-REQ-PROFILE-001: concrete PTO v0 reference profile for every registered3// numeric, memory, time, reset, and access-control-ring boundary.4
5implementation func ResetProfileState()6begin7    for pe = 0 to PTO_MODEL_MEMORY_AGENTS - 1 do8        for index = 0 to PTO_ABSOLUTE_GPR_COUNT - 1 do9            _PEGPRs[[pe]][[index]] = Zeros{PTO_XLEN};10        end;11    end;12    for index = 0 to PTO_TEMPORARY_QUEUE_DEPTH - 1 do13        _TQueue[[index]] = Zeros{PTO_XLEN};14        _TQueueValid[[index]] = FALSE;15        _UQueue[[index]] = Zeros{PTO_XLEN};16        _UQueueValid[[index]] = FALSE;17    end;18    ResetGQMState();19    for index = 0 to PTO_PREDICATE_REGISTER_COUNT - 1 do20        _PredicateRegisters[[index]] = Zeros{PTO_PREDICATE_WIDTH};21    end;22    for index = 0 to PTO_MODEL_MEMORY_BYTES - 1 do23        _Memory[[index]] = Zeros{8};24    end;25    // Context-family registers occupy low indices 0xf00..0xfb7 in every ACR26    // bank. The larger array is verification backing for the complete 16-bit27    // banked address domain.28    for ring = 0 to PTO_ACR_COUNT - 1 do29        for low_index = 0x0f00 to 0x0fb7 do30            let index = ((ring * 4096) + low_index)31                as SystemRegisterFileIndex;32            _ExtendedSystemRegisters[[index]] = Zeros{PTO_XLEN};33        end;34        // PTO v0 enables external and timer interrupt collection at reset.35        _ExtendedSystemRegisters[[((ring * 4096) + 0x0f07)36            as SystemRegisterFileIndex]] = Zeros{PTO_XLEN} + 3;37    end;38    for index = 0 to PTO_TILE_REGISTER_COUNT - 1 do39        _TileFeatureMapDescriptors[[index]].valid = FALSE;40        _TileAllocationMasks[[index]] = Zeros{4};41        _Tiles[[index]].allocated = FALSE;42        _Tiles[[index]].contents_defined = FALSE;43        _Tiles[[index]].defined_elements = Zeros{PTO_MODEL_TILE_ELEMENTS};44        _Tiles[[index]].defined_valid_elements = 0;45        _Tiles[[index]].packed_defined_elements =46            ZeroPackedTileDefinedElements();47        _Tiles[[index]].capacity_bytes = 0;48        _Tiles[[index]].rows = 0;49        _Tiles[[index]].columns = 0;50        _Tiles[[index]].valid_rows = 0;51        _Tiles[[index]].valid_columns = 0;52        _Tiles[[index]].data_type = TileDataType_U64;53        _Tiles[[index]].layout = TileLayout_RowMajor;54        _Tiles[[index]].location = TileLocation_Any;55        _Tiles[[index]].cube_k_repeat = 0;56        _Tiles[[index]].cube_n_repeat = 0;57        _Tiles[[index]].cube_cell_count = 0;58        _Tiles[[index]].cube_storage_bytes = 0;59    end;60    for index = 0 to PTO_SHARED_TILE_COUNT - 1 do61        _SharedTiles[[index]].descriptor_valid = FALSE;62        _SharedTiles[[index]].allocation_mask = Zeros{4};63        _SharedTiles[[index]].initialized_mask = Zeros{4};64        _SharedTiles[[index]].published = FALSE;65        _SharedTiles[[index]].tile.allocated = FALSE;66        _SharedTiles[[index]].tile.contents_defined = FALSE;67        _SharedTiles[[index]].tile.defined_elements =68            Zeros{PTO_MODEL_TILE_ELEMENTS};69        _SharedTiles[[index]].tile.defined_valid_elements = 0;70        _SharedTiles[[index]].tile.packed_defined_elements =71            ZeroPackedTileDefinedElements();72        _SharedTiles[[index]].tile.cube_k_repeat = 0;73        _SharedTiles[[index]].tile.cube_n_repeat = 0;74        _SharedTiles[[index]].tile.cube_cell_count = 0;75        _SharedTiles[[index]].tile.cube_storage_bytes = 0;76    end;77    _PC = Zeros{PTO_XLEN};78    _BPC = Zeros{PTO_XLEN};79    _BundleActive = FALSE;80    _BundleBodyActive = FALSE;81    ResetBundleControlState();82    _ReturnAddress = Zeros{PTO_XLEN};83    _CommitArgument = Zeros{PTO_XLEN};84    _ReservationValid = FALSE;85    _ReservationAddress = Zeros{PTO_XLEN};86    _ReservationSize = 1;87    ResetMemoryExecution();88    _MemoryEventCaptureEnabled = FALSE;89    _CurrentMemoryAgent = 0;90    _LastFencePredecessor = Zeros{4};91    _LastFenceSuccessor = Zeros{4};92    _DataCacheEpoch = 0;93    _InstructionCacheEpoch = 0;94    _BundleCacheEpoch = 0;95    _TLBEpoch = 0;96    _LastMaintenanceOperation = Maintenance_DC_IALL;97    _LastMaintenanceOperand = Zeros{PTO_XLEN};98    _BundleHintEpoch = 0;99    _ArchitectureRequestEpoch = 0;100    _LastControlRequest = ExecutionControl_SendEvent;101    _ControlRequestOperand = Zeros{PTO_XLEN};102    for ring = 0 to PTO_ACR_COUNT - 1 do103        _ACRTrapAsynchronous[[ring]] = FALSE;104        _ACRTrapArgumentValid[[ring]] = FALSE;105        _ACRTrapCause[[ring]] = Zeros{24};106        _ACRTrapNumber[[ring]] = Zeros{6};107        _ACRTrapArgument0[[ring]] = Zeros{PTO_XLEN};108        _TrapContexts[[ring]].valid = FALSE;109        _TrapContexts[[ring]].source_acr = 0;110        _TrapContexts[[ring]].tpc = Zeros{PTO_XLEN};111        _TrapContexts[[ring]].bpc = Zeros{PTO_XLEN};112        _TrapContexts[[ring]].core_state = Zeros{PTO_XLEN};113        _TrapContexts[[ring]].bundle_argument = Zeros{PTO_XLEN};114        _TrapContexts[[ring]].commit_argument = Zeros{PTO_XLEN};115        _TrapContexts[[ring]].return_address = Zeros{PTO_XLEN};116        _TrapContexts[[ring]].bundle_argument_kind = Zeros{3};117        _TrapContexts[[ring]].bundle_active = FALSE;118        _TrapContexts[[ring]].bundle_body_active = FALSE;119        _TrapContexts[[ring]].bundle_commit_target_set = FALSE;120        _TrapContexts[[ring]].bundle_condition_set = FALSE;121        _TrapContexts[[ring]].system_block_terminal_pending = FALSE;122        _TrapContexts[[ring]].bundle_fixed_point_attributes.valid = FALSE;123        _TrapContexts[[ring]].bundle_fixed_point_attributes.pre_quant_mode = Zeros{6};124        _TrapContexts[[ring]].bundle_fixed_point_attributes.relu_mode = Zeros{3};125        _TrapContexts[[ring]].bundle_fixed_point_attributes.group_n_code = Zeros{4};126        _TrapContexts[[ring]].bundle_fixed_point_attributes.row_max_en = FALSE;127        _TrapContexts[[ring]].bundle_fixed_point_attributes.group_max_en = FALSE;128        _TrapContexts[[ring]].bundle_fixed_point_attributes.row_max_init = FALSE;129        _TrapContexts[[ring]].bundle_fixed_point_attributes.max_abs_en = FALSE;130        _TrapContexts[[ring]].bundle_fixed_point_attributes.trans_a = FALSE;131        _TrapContexts[[ring]].bundle_fixed_point_attributes.trans_b = FALSE;132        _TrapContexts[[ring]].bundle_fixed_point_attributes.c_scale_en = FALSE;133        _TrapContexts[[ring]].bundle_range_group = _BundleRangeGroup;134        _TrapContexts[[ring]].memory_copy_template = _MemoryCopyTemplate;135        _TrapContexts[[ring]].frame_template = _FrameTemplate;136        _TrapContexts[[ring]].t_queue = _TQueue;137        _TrapContexts[[ring]].t_queue_valid = _TQueueValid;138        _TrapContexts[[ring]].u_queue = _UQueue;139        _TrapContexts[[ring]].u_queue_valid = _UQueueValid;140        _TrapContexts[[ring]].predicates = _PredicateRegisters;141    end;142    _SystemRegisters.thread_ptr = Zeros{PTO_XLEN};143    _SystemRegisters.global_ptr = Zeros{PTO_XLEN};144    _SystemRegisters.core_state = Zeros{PTO_XLEN};145    _SystemRegisters.core_id = Zeros{PTO_XLEN};146    _SystemRegisters.thread_id = Zeros{PTO_XLEN};147    _SystemRegisters.vendor = Zeros{PTO_XLEN};148    _SystemRegisters.version = Zeros{PTO_XLEN} + 1;149    _SystemRegisters.core_feature = Zeros{PTO_XLEN};150    _SystemRegisters.core_feature_enable = Zeros{PTO_XLEN};151    _SystemRegisters.tile_capacity = Zeros{PTO_XLEN} +152        PTO_MODEL_MAX_TILE_CAPACITY_BYTES;153    _SystemRegisters.blocknum = Zeros{PTO_XLEN};154    _SystemRegisters.blockid = Zeros{PTO_XLEN};155    _SystemRegisters.cycle = Zeros{PTO_XLEN};156    _CurrentACR = 0;157    ClearFault();158end;159