Bypass irrelevant storage-related rule checks for alias registers. #173

SystemRDL · Jun 9, 2023 · 1784f29 · 1784f29
1 parent 0c7bfcc
commit 1784f29
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 4 deletions.
diff --git a/systemrdl/__about__.py b/systemrdl/__about__.py
@@ -1 +1 @@
-__version__ = "1.25.7"
+__version__ = "1.26.0"
diff --git a/systemrdl/core/validate.py b/systemrdl/core/validate.py
@@ -410,7 +410,8 @@ def enter_Field(self, node: FieldNode) -> None:
             # but the user never specified its value, so its readback value is
             # ambiguous.
             if (
-                not node.implements_storage and node.is_sw_readable and (node.get_property('reset') is None)
+                not node.is_alias
+                and not node.implements_storage and node.is_sw_readable and (node.get_property('reset') is None)
                 and (node.get_property('hw') in {rdltypes.AccessType.na, rdltypes.AccessType.r})
             ):
                 node.env.msg.message(

diff --git a/systemrdl/properties/builtin.py b/systemrdl/properties/builtin.py
@@ -881,7 +881,7 @@ def validate(self, node: m_node.Node, value: Any) -> None:
                 self.get_src_ref(node)
             )
 
-        if uses_we and not node.implements_storage:
+        if uses_we and not node.implements_storage and not node.is_alias:
             self.env.msg.error(
                 "Use of 'we' property on field '%s' that does not implement storage does not make sense"
                 % (node.inst_name),
@@ -914,7 +914,7 @@ def validate(self, node: m_node.Node, value: Any) -> None:
                 self.get_src_ref(node)
             )
 
-        if uses_we and not node.implements_storage:
+        if uses_we and not node.implements_storage and not node.is_alias:
             self.env.msg.error(
                 "Use of 'wel' property on field '%s' that does not implement storage does not make sense"
                 % (node.inst_name),