Bug 343

Summary:	compalu_multi write requests need to hook into Data.ok
Product:	Libre-SOC's first SoC	Reporter:	Luke Kenneth Casson Leighton <lkcl>
Component:	Source Code	Assignee:	Luke Kenneth Casson Leighton <lkcl>
Status:	RESOLVED FIXED
Severity:	enhancement	CC:	libre-soc-bugs
Priority:	---
Version:	unspecified
Hardware:	Other
OS:	Linux
See Also:	https://bugs.libre-soc.org/show_bug.cgi?id=336 https://bugs.libre-soc.org/show_bug.cgi?id=332 https://bugs.libre-soc.org/show_bug.cgi?id=340
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:

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.