X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=mnolan.mdwn;h=8b137891791fe96927ad78e64b0aad7bded08bdc;hb=778e2c7762c06d077b1ce75e941e181f9eb2232c;hp=472c8135b3bf6f23293084c34627fdd238bf12cd;hpb=677b8463d310d082fbc9684ce2e4ade46cfcd58b;p=libreriscv.git diff --git a/mnolan.mdwn b/mnolan.mdwn index 472c8135b..8b1378917 100644 --- a/mnolan.mdwn +++ b/mnolan.mdwn @@ -1,82 +1 @@ -# Michael Nolan -Bored college student and contributor to Libre-SOC - -# 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 - -## 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