[Libre-soc-bugs] [Bug 388] New: Write HDL tutorial documenting bpermd development and formal proof process

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Tue Jun 16 22:14:26 BST 2020


https://bugs.libre-soc.org/show_bug.cgi?id=388

            Bug ID: 388
           Summary: Write HDL tutorial documenting bpermd development and
                    formal proof process
           Product: Libre-SOC's first SoC
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: CONFIRMED
          Severity: enhancement
          Priority: ---
         Component: Documentation
          Assignee: lkcl at lkcl.net
          Reporter: colepoirier at gmail.com
                CC: libre-soc-bugs at lists.libre-soc.org
   NLnet milestone: ---

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

-- 
You are receiving this mail because:
You are on the CC list for the bug.


More information about the libre-soc-bugs mailing list