| Summary: | Formally verify the FPCMP (FEQ, FLE, FLT) module | ||
|---|---|---|---|
| Product: | Libre-SOC's first SoC | Reporter: | Michael Nolan <mtnolan2640> |
| Component: | Formal Verification | Assignee: | Michael Nolan <mtnolan2640> |
| Status: | PAYMENTPENDING FIXED | ||
| Severity: | enhancement | CC: | libre-soc-bugs, lkcl |
| Priority: | --- | ||
| Version: | unspecified | ||
| Hardware: | PC | ||
| OS: | Windows | ||
| NLnet milestone: | NLNet.2019.10.032.Formal | total budget (EUR) for completion of task and all subtasks: | 150 |
| budget (EUR) for this task, excluding subtasks' budget: | 150 | parent task for budget allocation: | 196 |
| child tasks for budget allocation: | The table of payments (in EUR) for this task; TOML format: |
mnolan={amount=150, paid=2020-05-01}
|
|
| Bug Depends on: | |||
| Bug Blocks: | 196 | ||
|
Description
Michael Nolan
2020-02-02 23:39:25 GMT
|