Bug 388 - Write HDL tutorial documenting bpermd development and formal proof process
Summary: Write HDL tutorial documenting bpermd development and formal proof process
Status: CONFIRMED
Alias: None
Product: Libre-SOC's first SoC
Classification: Unclassified
Component: Documentation (show other bugs)
Version: unspecified
Hardware: PC Linux
: --- enhancement
Assignee: Luke Kenneth Casson Leighton
URL:
Depends on:
Blocks:
 
Reported: 2020-06-16 22:14 BST by Cole Poirier
Modified: 2022-07-01 09:15 BST (History)
1 user (show)

See Also:
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:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Cole Poirier 2020-06-16 22:14:26 BST 
I will be writing a tutorial derived from the 100 comments on the bpermd bug report because it allowed me *a complete novice* to start to learn and understand nmigen and hardware development.

Budget (recalled from discussion with Luke): 150 EUR