From: mtnolan2640@5b3e5887a309d4a2372aaf5e76b851870f15ca92 Date: Tue, 1 Sep 2020 22:20:29 +0000 (+0100) Subject: (no commit message) X-Git-Tag: convert-csv-opcode-to-binary~2190 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=95405bea3c2559075dc7a923b5d52672d251a731;p=libreriscv.git --- diff --git a/mnolan.mdwn b/mnolan.mdwn index 98db5dd42..8b1378917 100644 --- a/mnolan.mdwn +++ b/mnolan.mdwn @@ -1,88 +1 @@ -# Michael Nolan -Bored college student and contributor to Libre-SOC - -* [Bugtracker assignments](https://bugs.libre-soc.org/buglist.cgi?email1=mtnolan&emailassigned_to1=1&emailcc1=1&emailtype1=substring&resolution=---) - -# Status Tracking - -## Currently working on - - - POWER Decoder - - with [[lkcl]] - - CORDIC - - - - functions needed for simulator - - Shared 90% with [[lkcl]] - - parent #198 - - Formal proof of decoder - - EUR 200 - - parent #195 - - POWER9 ALU proof - - parent #195 - - POWER9 CR proof - - parent #195 - - POWER9 BRANCH proof - - parent #195 - - POWER9 LOGICAL proof - - parent #195 - - POWER9 ROTATE proof - - parent #197 - - MultiCompUnit (and Function Units) proof - -## Completed not yet submitted - -## Submitted for RFP, waiting for payment - - -## Paid - -### 2019-02-012 28-apr-2020 - Paid 08may2020 - - - parent #48 - - Add partitioned right shift to partitioned shifter - - EUR 150 - - parent #48 - - Partitioned equals and greater than comparison - - Shared 50% with [[lkcl]] - - EUR 200 (each) - - parent #48 - - Partitioned adc/sub/neg - - EUR 150 - - parent #48 - - partitioned scalar/vector shift - - Shared 50% with [[lkcl]] - - EUR 350 (each) - -### 2019-10P-046 28-apr-2020 - Paid 08may2020 - - - parent #241 - - auto-parser of POWER9 - - Shared 50% with [[lkcl]] - - EUR 500 (each) - -### 2019-10P-032 28-apr-2020 - Paid 08may2020 - - - parent #196 - - Verify FSGNJ - - EUR 150 - - parent #196 - - Verify FPMAX/MIN - - EUR 150 - - parent #196 - - Verify FP comparison operators - - EUR 150 - - -### Project 2019-02-012 Date 27jan2020 - - - - -### Project 2019-02-012 Date 09feb2020 - paid 28feb2020 - - - - - Floating point eq, gt, ge - - EUR 150 - - - - Floating point min/max - - EUR 200