TASKING VX-toolset for ARM User Guide

TASKING VX-toolset for ARM User Guide• At least one space_def and at least one bus_def have to be present in anarchitecture_definition.• An architecture_definition that uses the extends construct defines an architecture that inheritsall elements of the architecture defined by the second arch_name. The parent architecture must bedefined in the LSL file as well.parameter_list ::= parameter >=0parameter ::= IDENTIFIER 0|1argument_list ::= expr >=0arch_spec::= bus_def| space_def| endianness_defspace_def ::= space space_name 0|1 { >=0 }• A space_def defines an address space with the given space_name as a unique name within anarchitecture.space_descr ::= space_property ;| section_definition //no space ref| vector_table_statement| reserved_rangespace_property::= id = number // as used in object| mau = expr| align = expr| page_size = expr =0 > 0|1| page| direction = direction| stack_def| heap_def| copy_table_def| start_address| mapping• A space_def contains exactly one id and one mau statement.• A space_def contains at most one align statement.• A space_def contains at most one page_size statement.• A space_def contains at least one mapping.stack_def::= stack stack_name ( stack_heap_descr >=0 )• A stack_def defines a stack with the stack_name as a unique name.810