Unaligned external addressable components

[maltaisn]

Is there any reason why this restriction exists?

PeakRDL-regblock/src/peakrdl_regblock/validate_design.py

Lines 164 to 197 in a076609

	def exit_AddressableComponent(self, node: AddressableNode) -> None:
	if not isinstance(node, RegNode):
	# Exiting block-like node
	contains_external_block = self._contains_external_block_stack.pop()
	if self._contains_external_block_stack:
	# Still in the design. Update stack
	self._contains_external_block_stack[-1] |= contains_external_block
	else:
	# Exiting top addrmap. Resolve final answer
	self.contains_external_block = contains_external_block
	if contains_external_block:
	# Check that addressing follows strict alignment rules to allow
	# for simplified address bit-pruning
	if node.external:
	err_suffix = "is external"
	else:
	err_suffix = "contains an external addrmap/regfile/mem"
	req_align = roundup_pow2(node.size)
	if (node.raw_address_offset % req_align) != 0:
	self.msg.error(
	f"Address offset +0x{node.raw_address_offset:x} of instance '{node.inst_name}' is not a power of 2 multiple of its size 0x{node.size:x}. "
	f"This is required by the regblock exporter if a component {err_suffix}.",
	node.inst.inst_src_ref
	)
	if node.is_array:
	if not is_pow2(node.array_stride):
	self.msg.error(
	f"Address stride of instance array '{node.inst_name}' is not a power of 2"
	f"This is required by the regblock exporter if a component {err_suffix}.",
	node.inst.inst_src_ref
	)

Would it be possible to simply subtract the component absolute address?

PeakRDL-regblock/src/peakrdl_regblock/field_logic/templates/external_block.sv

Line 25 in a076609

assign {{prefix}}.addr = decoded_addr[{{addr_width-1}}:0];

assign {{prefix}}.addr = decoded_addr - 'h{{raw_absolute_address}};