Bug 772 - Creation of the HDL Code for the cryptoprimitive (bitmanip, bigint, etc.) Instructions
Summary: Creation of the HDL Code for the cryptoprimitive (bitmanip, bigint, etc.) Ins...
Status: RESOLVED FIXED
Alias: None
Product: Libre-SOC's second ASIC
Classification: Unclassified
Component: source code (show other bugs)
Version: unspecified
Hardware: Other Linux
: Low enhancement
Assignee: Luke Kenneth Casson Leighton
URL:
Depends on: 817
Blocks: 589
  Show dependency tree / graph
 
Reported: 2022-02-15 06:41 GMT by Jacob Lifshay
Modified: 2024-05-22 06:23 BST (History)
3 users (show)

See Also:
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

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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.