Bug 772

Summary:	Creation of the HDL Code for the cryptoprimitive (bitmanip, bigint, etc.) Instructions
Product:	Libre-SOC's second ASIC	Reporter:	Jacob Lifshay <programmerjake>
Component:	source code	Assignee:	Luke Kenneth Casson Leighton <lkcl>
Status:	RESOLVED FIXED
Severity:	enhancement	CC:	ghostmansd, libre-soc-bugs, programmerjake
Priority:	Low
Version:	unspecified
Hardware:	Other
OS:	Linux
See Also:	https://bugs.libre-soc.org/show_bug.cgi?id=840 https://bugs.libre-soc.org/show_bug.cgi?id=1010
NLnet milestone:	NLnet.2021.02A.052.CryptoRouter	total budget (EUR) for completion of task and all subtasks:	9000
budget (EUR) for this task, excluding subtasks' budget:	3000	parent task for budget allocation:	589
child tasks for budget allocation:	741 964	The table of payments (in EUR) for this task; TOML format:	[lkcl] amount = 1200 submitted = 2024-05-22 [jacob] amount = 1800 submitted = 2024-05-21
Bug Depends on:	817
Bug Blocks:	589

Description Jacob Lifshay 2022-02-15 06:41:59 GMT

Creation of the HDL code for the instructions used to implement the Cryptographic
Primitives. Also, creation of the unit-tests for the new/changed HDL code,
or other related HDL code that needs testing.

Comment 1 Jacob Lifshay 2023-09-05 17:34:57 BST

I think we should move adding the bigint insns to soc.git to be a subtask of this bug.

Comment 2 Luke Kenneth Casson Leighton 2023-09-05 18:16:05 BST

(In reply to Jacob Lifshay from comment #1)
> I think we should move adding the bigint insns to soc.git to be a subtask of
> this bug.

the simulator is the top priority. reprioritising this task to "low".

Comment 3 Luke Kenneth Casson Leighton 2024-05-18 05:02:53 BST

for payment reasoning, see https://bugs.libre-soc.org/show_bug.cgi?id=785#c13

Comment 4 Jacob Lifshay 2024-05-22 06:19:43 BST

turns out the formal proofs for bug #785 were supposed to be under bug #840, so we're moving just the formal proofs to that bug, everything else (hdl implementations and unit tests for gfbinv/gfbmul/gfbmadd) stays under this bug.