Skip to content
This repository has been archived by the owner on Apr 27, 2023. It is now read-only.

Masking ISE: finite field instructions #33

Open
2 of 5 tasks
ben-marshall opened this issue Jul 30, 2020 · 0 comments
Open
2 of 5 tasks

Masking ISE: finite field instructions #33

ben-marshall opened this issue Jul 30, 2020 · 0 comments
Assignees
@ben-marshall
Labels
enhancement New feature or request masking-ise Anything to do with the Masking ISE branch and work. RTL Issue with the synthesisable RTL Verification/Testing Issue with the verification code or infrastructure.

Comments

@ben-marshall
Copy link
Contributor

ben-marshall commented Jul 30, 2020 •
edited
Loading

Tracking the status of the finite field instructions: mask.f.mul and mask.f.aff.

  • Decoder and operand selection RTL.
  • Execute stage operation selection / routing.
  • Masking ALU instruction implementation.
  • Unit test.
  • Formal checker.

Note: This work should be done only on the scarv/xcrypto/masking-ise branch.
@ben-marshall ben-marshall added enhancement New feature or request RTL Issue with the synthesisable RTL Verification/Testing Issue with the verification code or infrastructure. masking-ise Anything to do with the Masking ISE branch and work. labels Jul 30, 2020
@ben-marshall ben-marshall self-assigned this Jul 30, 2020
ben-marshall added a commit that referenced this issue Jul 30, 2020
@ben-marshall
masking-ise: Work on finite field instructions.
942abdb 
- See #33

- Integrate instructions into decoder and operand selection.

- Operations are routed to the masking ALU correctly.

- Currently the masking ALU just executes the instructions as a nop.

- Unit tests written, but expected result needs calculating.

Still to do:

- Formal checker.

- Expected result for the unit test.

- Masking ALU instruction implementation.

 On branch scarv/xcrypto/masking-ise
 Your branch is up-to-date with 'origin/scarv/xcrypto/masking-ise'.

 Changes to be committed:
	modified:   docs/masking-ise.md
	modified:   flow/gtkwave/verilator.gtkw
	modified:   rtl/core/frv_common.vh
	modified:   rtl/core/frv_masked_alu.v
	modified:   rtl/core/frv_pipeline_decode.v
	modified:   rtl/core/frv_pipeline_decode.vh
	modified:   rtl/core/frv_pipeline_execute.v
	modified:   verif/unit/masking-ise/masked-instrs.S
	modified:   verif/unit/masking-ise/masking-ise.c
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@ben-marshall ben-marshall

Labels
enhancement New feature or request masking-ise Anything to do with the Masking ISE branch and work. RTL Issue with the synthesisable RTL Verification/Testing Issue with the verification code or infrastructure.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@ben-marshall