Bug 343 - compalu_multi write requests need to hook into Data.ok
Summary: compalu_multi write requests need to hook into Data.ok
Status: RESOLVED FIXED
Alias: None
Product: Libre-SOC's first SoC
Classification: Unclassified
Component: Source Code (show other bugs)
Version: unspecified
Hardware: Other Linux
: --- enhancement
Assignee: Luke Kenneth Casson Leighton
URL:
Depends on:
Blocks:
 
Reported: 2020-05-24 04:33 BST by Luke Kenneth Casson Leighton
Modified: 2020-06-30 16:42 BST (History)
1 user (show)

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

Note You need to log in before you can comment on or make changes to this bug.
Description Luke Kenneth Casson Leighton 2020-05-24 04:33:20 BST
the soc.fu pipeline data structures have been designed to notify MultiCompUnit that they have data to be stored.

this by setting Data.ok in their Output n.data_o members.
Comment 1 Luke Kenneth Casson Leighton 2020-05-27 15:27:54 BST
nuts.  just realised that all the formal proofs - and unit tests - need to
check XER.so ok, XER.ca ok etc. as well.