Scoping

• How to elaborate implementation parameters
• Semantics of extends and provides
• Scopes:
  • Block: Local declarations, as in C. Hierarchical, because of usual block structure. Declaration before definition.
  • Instruction/Function: Named encoding fields, formal parameters
  • ISA: Declarations in architectural_state, functions, instructions. Order unimportant? Hierarchical, because of super-ISA(s)