Through this, HTSC can derive virtual systems or analysis models at all kinds of semantic levels for the purpose of analysis, validation and verification. It will also allow us to compile models for synthesis (such as software generation) while still retaining the properties that have been evaluated at a model level. Digital engineering allows a significant amount of work to be automated while creating room for experimentation and innovation.
Currently in the exploration phase.
