This task will add hardware model implementations for
armv8_32 cpu architectures within the next generation toolkit.
The following two references can be followed towards this task:
documentation described in
docs/nextgen-toolkit/contrib-guide/hwm.rstto add a new hardware model within
x86_32hardware model task: überSpark: Add x86_32 hardware model to next-gen toolkit
The CASM instructions that need to be implemented will be based on contents of assembly files within the following two uobjcoll:
When implementing the CASM instruction mnemonics and hardware model implementation please refer to the ARM v7 and v8 architecture reference manuals in order to check which architecture the instruction belongs to and the pseudo-code of what the instruction does. This pseudo-code will then be translated into the equivalent C implementation just like the
We can perhaps begin with a proposal of organization just like what we did for the
x86_32 hardware model in the task: überSpark: Add x86_32 hardware model to next-gen toolkit
As a last step we can convert the assembly files in the above two uobjcoll to use CASM instructions and compile down via the CASM bridges.