States
Model of states.
Currently we have two similar but slightly different models,
one for RV32I and one for RV64I.
We plan to consolidate them into one model for both;
towards that end, we also provide a more generic definition here.
Subtopics
- Stat
- Fixtype of machine states.
- Stat-validp
- Check if a state is valid with respect to given features.
- States64
- Model of states for RV64I.
- Read-xreg-unsigned
- Read an unsigned integer from an x register.
- States32
- Model of states for RV32I.
