Bug 165 - Formally verify the FPCMP (FEQ, FLE, FLT) module
Summary: Formally verify the FPCMP (FEQ, FLE, FLT) module
Status: PAYMENTPENDING FIXED
Alias: None
Product: Libre-SOC's first SoC
Classification: Unclassified
Component: Formal Verification (show other bugs)
Version: unspecified
Hardware: PC Windows
: --- enhancement
Assignee: Michael Nolan
URL:
Depends on:
Blocks: 196
  Show dependency treegraph
 
Reported: 2020-02-02 23:39 GMT by Michael Nolan
Modified: 2020-12-02 14:56 GMT (History)
2 users (show)

See Also:
NLnet milestone: NLNet.2019.10.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:


Attachments

Note You need to log in before you can comment on or make changes to this bug.