My @risc_v core can now do jal, addi, lui and lb. At least until I improve my testing and see that they are all broken
-
Show this thread
-
beq and sw done! 32 more to implement
1 reply 0 retweets 7 likesShow this thread -
bne and srai done! 30 left
2 replies 0 retweets 3 likesShow this thread -
...and auipc and sub! 28 remaining
2 replies 0 retweets 5 likesShow this thread -
Replying to @OlofKindgren
Have you considered implementing RVFI (risc-v formal interface) so you can check your new core formally? I'd help setting up riscv-formal if you implement the interface.https://github.com/cliffordwolf/riscv-formal/blob/master/docs/rvfi.md …
1 reply 0 retweets 4 likes -
Replying to @oe1cxw
Awesome. I've been meaning to do that. Already have the RVFI interface implemented, but wanted some help with the glue logic. Hopefully this will eventually result in a SymbiYosys backend for Edalize too
1 reply 0 retweets 1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.