# Michael Nolan

Bored college student and contributor to Libre-SOC

# Status Tracking

## Currently working on

 - <http://bugs.libre-riscv.org/show_bug.cgi?id=186> with [[lkcl]]
 - <http://bugs.libre-riscv.org/show_bug.cgi?id=208> CORDIC

## Completed not yet submitted

### 2019-02-012

 - <http://bugs.libre-riscv.org/show_bug.cgi?id=189> parent #48
   - Add partitioned right shift to partitioned shifter
   - EUR 150
 - <http://bugs.libre-riscv.org/show_bug.cgi?id=171> parent #48
   - Partitioned equals and greater than comparison
   - Shared 50% with [[lkcl]] 
   - EUR 200 (each)
 - <http://bugs.libre-riscv.org/show_bug.cgi?id=172> parent #48
   - Partitioned adc/sub/neg
   - EUR 150
 - <http://bugs.libre-riscv.org/show_bug.cgi?id=173> parent #48
   - partitioned scalar/vector shift
   - Shared 50% with [[lkcl]]
   - EUR 350 (each)

### 2019-10P-046

 - <https://bugs.libre-soc.org/show_bug.cgi?id=269> 
    - auto-parser of POWER9
    - Shared 50% with [[lkcl]]
 - <https://bugs.libre-soc.org/show_bug.cgi?id=272>
    - functions needed for simulator
    - Shared 90% with [[lkcl]]

### 2019-10P-032

 - <https://bugs.libre-soc.org/show_bug.cgi?id=162>
    - Verify FSGNJ
 - <https://bugs.libre-soc.org/show_bug.cgi?id=163>
    - Verify FPMAX/MIN
 - <https://bugs.libre-soc.org/show_bug.cgi?id=165>
    - Verify FP comparison operators
 - <https://bugs.libre-soc.org/show_bug.cgi?id=211>
    - Formal proof of decoder

## Submitted for RFP, waiting for payment



## Paid

### Project 2019-02-012 Date 27jan2020

 - <http://bugs.libre-riscv.org/show_bug.cgi?id=120>

### Project 2019-02-012 Date 09feb2020 - paid 28feb2020

 - <http://bugs.libre-riscv.org/show_bug.cgi?id=129>
   - Floating point eq, gt, ge
   - EUR 150
 - <http://bugs.libre-riscv.org/show_bug.cgi?id=130>
   - Floating point min/max
   - EUR 200