From: Luke Kenneth Casson Leighton Date: Sat, 28 Sep 2019 10:25:11 +0000 (+0100) Subject: move standards tagged to bottom of page X-Git-Tag: convert-csv-opcode-to-binary~3947 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7bad3cd9ba47077c5e77c1d4dec00b81cb28f975;p=libreriscv.git move standards tagged to bottom of page --- diff --git a/resources.mdwn b/resources.mdwn index e5a46b09f..4a99fc590 100644 --- a/resources.mdwn +++ b/resources.mdwn @@ -4,13 +4,6 @@ This page aims to collect all the resources and specifications we need in one place for quick access. We will try our best to keep links here up-to-date. Feel free to add more links here. -# Libre-RISC-V Standards - -This list auto-generated from a page tag "standards": - -[[!inline pages="tagged(standards)" actions="no" archive="yes" quick="yes"]] - - # RISC-V Instruction Set Architecture The Libre RISC-V Project is building a hybrid CPU/GPU SoC. As the name @@ -160,6 +153,7 @@ the Khronos standards until we actually make an official submission, do the paperwork, and pay the relevant fees. ## Formal Verification + Formal verification of Libre RISC-V ensures that it is bug-free in regards to what we specify. Of course, it is important to do the formal verification as a final step in the development process before we produce thousands or millions of silicon. @@ -177,3 +171,10 @@ ZipCPU provides a comprehensive tutorial for beginners and many exercises/quizze +# Libre-RISC-V Standards + +This list auto-generated from a page tag "standards": + +[[!inline pages="tagged(standards)" actions="no" archive="yes" quick="yes"]] + +