Includes description about delta_ISA as TLAR

Kristina Mazurrequested to merge
documentation/delta_ISA into develop

Description

As the discussion about the definition of ISA was quite extensive, I documented the current idea about it.

Related Issue(s)

Screenshots/Logs

Testing Instructions

See on website https://unicado.pages.rwth-aachen.de/unicado.gitlab.io/tutorials/changing-design-specifications/ at the very bottom

Developer Checklist

  • Code has been tested locally and/or in pipeline.
Edited by Kristina Mazur

Merge request reports