3 Helping Core Hardware developers.
5 * [Bugtracker assignments](https://bugs.libre-soc.org/buglist.cgi?email1=vklr&emailassigned_to1=1&emailtype1=substring&resolution=---)
9 ## Currently working on
11 ### NLNet.2019.10.032.Formal
13 * [Bug #883](https://bugs.libre-soc.org/show_bug.cgi?id=883):
14 add cvc5 and bitwuzla to hdl-yosys-tools
18 - <https://bugs.libre-soc.org/show_bug.cgi?id=602> Low performance bare minimum functionality SIMD emulator required
20 ## Completed but not yet submitted:
22 ### NLNet.2019.10.046.Standards
24 * [Bug #839](https://bugs.libre-soc.org/show_bug.cgi?id=839):
25 SVP64 / Extra-V / ZOLC whitepaper
27 ### NLNet.2019.10.032.Formal
29 * [Bug #847](https://bugs.libre-soc.org/show_bug.cgi?id=847):
30 dev\-env\-setup script for binutils-gdb for target powerpc64le\-linux\-gnu
32 ### NLNet.2019.10.043.Wishbone
34 * [Bug #878](https://bugs.libre-soc.org/show_bug.cgi?id=878):
35 image conversion explaining multi-issue
37 ## Submitted for NLNet RFP
39 submitted but not confirmed paid:
43 donation from NLNet confirmed received:
45 ### NLNet.2019.10.Wishbone
47 - <https://bugs.libre-soc.org/show_bug.cgi?id=595> Convert bitmap images to svg
50 - <https://bugs.libre-soc.org/show_bug.cgi?id=612> Installation instructions for nextpnr with ecp5 support
53 - <https://bugs.libre-soc.org/show_bug.cgi?id=626> dev-env-setup script for verilator, ghdl, iverilog and cocotb
56 - <https://bugs.libre-soc.org/show_bug.cgi?id=634> sphinx - build, install and interface with projects
59 - <https://bugs.libre-soc.org/show_bug.cgi?id=651> Convert bitmap images to vector svg - multi i/o dep cell and multi func unit
62 * [Bug #654](https://bugs.libre-soc.org/show_bug.cgi?id=654):
63 dev\-env\-setup script for symbiflow \(arty A7\-100T\)
64 * €600 out of total of €750
66 ### NLNet.2019.10.Standards
68 * [Bug #730](https://bugs.libre-soc.org/show_bug.cgi?id=730):
69 adapt ALU test cases to include expected results
70 * €700 out of total of €1000
74 * [Bug #750](https://bugs.libre-soc.org/show_bug.cgi?id=750):
75 Convert pinmux gpio, jtag\-block bitmap diagrams to svg vector
76 * €500 out of total of €500
78 * [Bug #790](https://bugs.libre-soc.org/show_bug.cgi?id=790):
79 dev-env-setup script for nextpnr\-xilinx
80 * €450 out of total of €600
82 * [Bug #791](https://bugs.libre-soc.org/show_bug.cgi?id=791):
83 dev-env-setup script for dfutil, openFPGALoader, ujprog and fujprog
84 * €600 out of total of €600
86 * [Bug #802](https://bugs.libre-soc.org/show_bug.cgi?id=802):
87 Document steps for ls2 microwatt hello world for fpga boards
88 * €450 out of total of €600
92 - <http://bugs.libre-riscv.org/show_bug.cgi?id=181> test and install public-inbox