X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=lkcl.mdwn;h=c7f06f0d9a6a90c55371f036aa3a181dc25a985f;hb=c2f5ac8ffb3128f820f8c1532309bef13b198b8c;hp=7cc7cca1a36f68f7490e10eaedf45bf6c0bb40df;hpb=7375ab0125dcc7f19b74755fac2a3a2c8decd9c0;p=libreriscv.git
diff --git a/lkcl.mdwn b/lkcl.mdwn
index 7cc7cca1a..c7f06f0d9 100644
--- a/lkcl.mdwn
+++ b/lkcl.mdwn
@@ -6,6 +6,12 @@ Lead dev and Project Coordinator for Libre-SOC.
* [180nm task list](https://bugs.libre-soc.org/showdependencytree.cgi?maxdepth=1&id=383&hide_resolved=1)
* readthedocs link
*
+*
+
+# Priority tasks to keep an eye on
+
+* 6600 proof
+ EUR 5000
# Status tracking
@@ -14,15 +20,34 @@ move things along from one stage to the next
## Currently working on
- Project Management
- - to be donated
- - icache
- - dcache
- - mmu
+ - PartitionedSignal RFC
+ - EUR 1500
+ - nmigen c compiler
+ - ISANS letter
+ - ISA switch
+ - Compressed writeup
+ - SVP64 Primer
+ - svindex
+ - binutils draft instructions
+ - cr int draft instructions
+ - 3D MESA
+ - binutils magic
+ - SVP64 whitepaper
+ - Documentation SVP64 Proposals
+ - management, binutils
+ - donated, Simulator
+ - SV Encoding
+ - nextpnr-xilinx
+ - EUR 150
+ - ls2 documentation
+ - EUR 150
+ - SVP64 Branches
+ - EUR 1000
- Partitioned Logic
- Partitioned Mux
- EUR 250
- Partitioned Type 2 DSL
- - EUR 1250
+ - EUR 1000 of 1250 shared
- Partitioned Logic docs
- XLEN-16 fails
- DCT FFT documentation
@@ -40,7 +65,6 @@ move things along from one stage to the next
- SV Spec
- ISAMux writeup
- Create HDL MMU
- - PartitionedSignal Module
- 6600 scoreboard
- branch prediction research
- LDST buffer
@@ -49,7 +73,7 @@ move things along from one stage to the next
- MUL proof
- EUR 50, shared with samuel 10%
- DIV proof
- - SHIFTROT proof
+
- Compunit RA=0 test
- SPR proof
- EUR 50, shared with samuel (EUR 350)
@@ -75,6 +99,21 @@ move things along from one stage to the next
TO SORT
+28feb2022
+
+ - icache
+ * EUR 1500 (shared with [[tplaten]])
+ - dcache
+ * EUR 1500 (shared with [[tplaten]])
+ - mmu
+ * EUR 1000 (shared with [[tplaten]])
+ - MUL Formal (donated)
+ * EUR 500 (shared with [[programmerjake]])
+ - SHIFTROT proof
+ * EUR 400 (shared with [[programmerjake]])
+
+before that
+
- create Power ISA test API
- EUR 1600
- EUR 800 shared with [[klehman]]