nblei
nblei
The veridian project (https://github.com/vivekmalneedi/veridian) has a yaml format for this purpose.
I think I may be having a related issue. Namely, `instr_req_o` is set when there is a branch, even if the branch target is cached, resulting in extraneous instruction memory...
OK. I think why I'm seeing an (unnecessary) delay is because I do not have the instruction memory respond with `instr_gnt_i` until the access has been nearly completed (a cycle...
@dalance this can be closed #750
For `ModA` --- I think this is fine. `let a = 1` is binding a elaboration time constant to `a`, which is then assigned to a `local`. While this may...
Yes, I think so. But I also think we should use two different words: "constant" to describe an immutable variable binding and "elaborable" to describe a constant which is determined...
Good question, and I do not think we should have an explicit constant qualifier. SV allows a `const var` declarations, but veryl does not have a `const` qualifier - `let`...
Variables declared inside functions must be static, and ~~functions must be static if we want them to be synthesizable~~. Synthesizing reentrant functions is, in general, impossible. I agree with @taichi-ishitani...
My bad, I hope I didn't add confusion with my horrible and wrong description of all functions needing to be static, when of course, `automatic` allocation leads to static-hardware allocation....
Looks good. There are a few grammar mistakes which will be easy to fix in a README.md file, but a bit of a nuisance to fix in an issues thread.