03-13-2018, 11:37 PM
https://media.ccc.de/v/34c3-8768-end-to-end_formal_isa_verification_of_risc-v_processors_with_riscv-formal
https://www.theregister.co.uk/2018/07/10/arm_riscv_website/
https://old.reddit.com/r/linux/comments/92tvqu/first_silicon_success_on_the_first_tapeout_linux/?st=jk7o3vik&sh=07b51142
^^ http://rise.cse.iitm.ac.in/shakti.html
2018-10-22 - https://www.digitimes.com/news/a20181022PD206.html
2018-12-05 - New video by Linus Tech Tips featuring a functional RISC-V PC running Debian and other demos
https://www.reddit.com/r/linux/comments/a3hv5l/new_video_by_linus_tech_tips_featuring_a/
^ https://www.youtube.com/watch?v=jNnCok1H3-g
https://www.theregister.co.uk/2018/07/10/arm_riscv_website/
https://old.reddit.com/r/linux/comments/92tvqu/first_silicon_success_on_the_first_tapeout_linux/?st=jk7o3vik&sh=07b51142
^^ http://rise.cse.iitm.ac.in/shakti.html
2018-10-22 - https://www.digitimes.com/news/a20181022PD206.html
2018-12-05 - New video by Linus Tech Tips featuring a functional RISC-V PC running Debian and other demos
https://www.reddit.com/r/linux/comments/a3hv5l/new_video_by_linus_tech_tips_featuring_a/
^ https://www.youtube.com/watch?v=jNnCok1H3-g
