Bug 594

Summary:	create nmigen RFC for Dynamic Partitioned signals support
Product:	Libre-SOC's first SoC	Reporter:	Luke Kenneth Casson Leighton <lkcl>
Component:	Documentation	Assignee:	Luke Kenneth Casson Leighton <lkcl>
Status:	RESOLVED FIXED
Severity:	enhancement	CC:	libre-soc-bugs
Priority:	---
Version:	unspecified
Hardware:	PC
OS:	Linux
URL:	https://libre-soc.org/3d_gpu/architecture/dynamic_simd/
See Also:	https://bugs.libre-soc.org/show_bug.cgi?id=458 https://bugs.libre-soc.org/show_bug.cgi?id=115 https://bugs.libre-soc.org/show_bug.cgi?id=671 https://bugs.libre-soc.org/show_bug.cgi?id=132 https://bugs.libre-soc.org/show_bug.cgi?id=733
NLnet milestone:	NLNet.2019.10.043.Wishbone	total budget (EUR) for completion of task and all subtasks:	1500
budget (EUR) for this task, excluding subtasks' budget:	1500	parent task for budget allocation:	384
child tasks for budget allocation:		The table of payments (in EUR) for this task; TOML format:	lkcl = { amount = 1500, submitted = 2022-06-25, paid = 2022-07-21 }

Description Luke Kenneth Casson Leighton 2021-02-10 20:25:11 GMT

an RFC is required for adding dynamic partitioned signal support into nmigen.

Comment 1 Luke Kenneth Casson Leighton 2021-02-11 08:24:59 GMT

i made a start (see URL field) which begins to describe what the problem is (m.If/Else/Switch not understanding Dynamic SIMD) and illustrating what a
complete nightmare it would be without nmigen integrated support.

the IEEE754 FP library is 45,000 lines of code (so far) and there is no way in hell we are multiplying that amount of code up by an order of magnitude, with hand written SIMD for-loops.

Comment 2 Luke Kenneth Casson Leighton 2021-03-13 23:55:57 GMT

discussion about whether PartitionedBool would be necessary
https://libre-soc.org/irclog/%23libre-soc.2021-03-13.log.html#t2021-03-13T23:49:13