Relation of the Different Sections and Definition of a new Relation

[AndreasKrall]

In old VADL there exist a bit weird definitions on how the sections references each other. The reasons were that it is possible to have an ISS without a Mia, but you needed a micro processor to control the ISS. You would expect that a micro processor needs a MiA, but it needs an ISA. With the new ISS and CAS based on QEMU we will alter the control of emulators. With a clever specification, it can be possible, that we have a Mia, that is independent of the ISA:

What do we want to model.

• ISA which can extend other ISA with single inheritance and special macro models
• ABI which is the same for different ISAs, e.g. RV64I, RV64IM and RV64IMA can have the same ABI. The problem with old ABI was, that compiler sequences had to be defined, because a compiler could not determine them by itself.
• a MiA which could be independent from an ISA, but usually needs one which suggest to have a MiA with an optional ISA
• a micro processor renamed to processor alone which describes concrete hardware with a MiA, firmware, initialization of registers and PC, setting of memory mapped IO, cache sizes, etc.
• an assembler which implements an ISA and needs an optional ABI if it is using register aliases of the ISA
• a compiler, which could support different ISA extensions, targeting different MiAs, if scheduling for different MiAs has to be supported with description which command line options target which ISAs and MiAs.
• a user mode emulation for a guest and target operating system end eventually a processor for different ISAs

instruction set architecture ISA [extending BaseISA] [with (model{,model})]= {}
application binary interface ABI [for ISA {, ISAn}] = {}
assembly description implements ISA [for ABI] = {}
micro architecture MiA [for ISA {, ISAn}] = {}
compiler COMP implements ISA {, ISAn} [with Mia{,Mia}] for ABI = {configuration}
processor Board implements ISA [with Mia] [for ABI] = {}
user mode emulation UME [for ISA {, ISAn}] guest GuestOS host HostOS = {}