| Summary: | Write HDL tutorial documenting bpermd development and formal proof process | ||
|---|---|---|---|
| Product: | Libre-SOC's first SoC | Reporter: | Cole Poirier <colepoirier> |
| Component: | Documentation | Assignee: | Luke Kenneth Casson Leighton <lkcl> |
| Status: | CONFIRMED --- | ||
| Severity: | enhancement | CC: | libre-soc-bugs |
| Priority: | --- | ||
| Version: | unspecified | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| NLnet milestone: | NLNet.2019.10.043.Wishbone | total budget (EUR) for completion of task and all subtasks: | 0 |
| budget (EUR) for this task, excluding subtasks' budget: | 0 | parent task for budget allocation: | |
| child tasks for budget allocation: | The table of payments (in EUR) for this task; TOML format: | ||
|
Description
Cole Poirier
2020-06-16 22:14:26 BST
|