Tim Hutt
Tim Hutt
> Today I'm building a shared library `riscv_sim_RV64.so` which I link in to Python. > > It would probably be useful to have the state encapsulated in a struct (or...
Can you paste that again in a code block?
Yes please :-)
For those without Excel: | Property| type| enum| Dynamic†| comment | |---------|-----|-----|---------|---------| | Address Range(s)| int lower, upper| | Boolean| PA is unsigned, lower
IMO the answers to the questions are: > do they need to be dynamic? It seems like they technically can, but there's no need for a standard CSR for it...
I don't think the PMA spec needs to concern itself with ranges at all. It's simply that each address is associate with a single set of PMAs. If you want...
I agree, building the Sail model is quite a pain due to the use of OCaml (we ended up storing the generated C in Git so only people editing the...
> I don’t think that’s what might means. Doesn’t might just mean that an instruction dirtied it in the past but later instructions could have made it no longer dirty,...
> `constraint flen in {32, 64}` How hard would this be to implement? Just wondering if I might have a go to save compiling separate RV32 and RV64 models.
Sounds like this is fixed?