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

SKW: Crypto Bitmanip Instructions #35

Closed
18 tasks done
ben-marshall opened this issue Aug 4, 2020 · 0 comments
Closed
18 tasks done

SKW: Crypto Bitmanip Instructions #35

ben-marshall opened this issue Aug 4, 2020 · 0 comments
Assignees
Labels
enhancement New feature or request RTL Issue with the synthesisable RTL skywater Associated with project skywater. Verification/Testing Issue with the verification code or infrastructure.

Comments

@ben-marshall
Copy link
Contributor

ben-marshall commented Aug 4, 2020

Decode:

Execute:

Verification:

@ben-marshall ben-marshall self-assigned this Aug 4, 2020
@ben-marshall ben-marshall added enhancement New feature or request RTL Issue with the synthesisable RTL skywater Associated with project skywater. Verification/Testing Issue with the verification code or infrastructure. labels Aug 4, 2020
ben-marshall added a commit that referenced this issue Aug 4, 2020
- Decode for everything except xperm.

- Execute stage rotate, andn, xnor, orn and pack* implemented.

- No verifiation yet!

 On branch scarv/skywater/dev
 Your branch is ahead of 'origin/scarv/skywater/dev' by 2 commits.
   (use "git push" to publish your local commits)

 Changes to be committed:
	modified:   rtl/core/frv_alu.sv
	modified:   rtl/core/frv_common.svh
	modified:   rtl/core/frv_pipeline_decode.sv
	modified:   rtl/core/frv_pipeline_decode.svh
	modified:   rtl/core/frv_pipeline_execute.sv

 Changes not staged for commit:
	modified:   external/embench-iot (modified content, untracked content)
	modified:   external/riscv-formal (untracked content)
ben-marshall added a commit that referenced this issue Aug 4, 2020
- See #35 - SKW: Bitmanip Instructions.

 On branch scarv/skywater/dev
 Your branch is up-to-date with 'origin/scarv/skywater/dev'.

 Changes to be committed:
	modified:   rtl/core/frv_alu.sv

 Changes not staged for commit:
	modified:   external/embench-iot (modified content, untracked content)
	modified:   external/riscv-formal (untracked content)
ben-marshall added a commit that referenced this issue Aug 4, 2020
- See #35 - SKW: Bitmanip instructions.

 On branch scarv/skywater/dev
 Your branch is up-to-date with 'origin/scarv/skywater/dev'.

 Changes to be committed:
	modified:   rtl/core/frv_alu.sv

 Changes not staged for commit:
	modified:   external/embench-iot (modified content, untracked content)
	modified:   external/riscv-formal (untracked content)
ben-marshall added a commit that referenced this issue Aug 4, 2020
- See #35 - SKW: Bitmanip instructions.

 On branch scarv/skywater/dev
 Your branch is up-to-date with 'origin/scarv/skywater/dev'.

 Changes to be committed:
	modified:   rtl/core/frv_mdu.sv
	modified:   rtl/core/frv_pipeline_execute.sv

 Changes not staged for commit:
	modified:   external/embench-iot (modified content, untracked content)
	modified:   external/riscv-formal (untracked content)
ben-marshall added a commit that referenced this issue Aug 6, 2020
- See #35

 On branch scarv/skywater/dev
 Your branch is up-to-date with 'origin/scarv/skywater/dev'.

 Changes to be committed:
	new file:   flow/designer-assertions/insn_rotate.sby
	new file:   verif/designer-assertions/insn_checkers/insn_rotate_checker.sv

 Changes not staged for commit:
	modified:   external/embench-iot (modified content, untracked content)
	modified:   external/riscv-formal (untracked content)
	modified:   rtl/core/frv_alu.sv
ben-marshall added a commit that referenced this issue Aug 6, 2020
- See #35

 On branch scarv/skywater/dev
 Your branch is ahead of 'origin/scarv/skywater/dev' by 1 commit.
   (use "git push" to publish your local commits)

 Changes to be committed:
	modified:   rtl/core/frv_alu.sv

 Changes not staged for commit:
	modified:   external/embench-iot (modified content, untracked content)
	modified:   external/riscv-formal (untracked content)
ben-marshall added a commit that referenced this issue Aug 6, 2020
 On branch scarv/skywater/dev
 Your branch is up-to-date with 'origin/scarv/skywater/dev'.

 Changes to be committed:
	new file:   flow/designer-assertions/insn_grev.sby
	new file:   verif/designer-assertions/insn_checkers/insn_grev_checker.sv

 Changes not staged for commit:
	modified:   external/embench-iot (modified content, untracked content)
	modified:   external/riscv-formal (untracked content)
ben-marshall added a commit that referenced this issue Aug 6, 2020
 On branch scarv/skywater/dev
 Your branch is ahead of 'origin/scarv/skywater/dev' by 1 commit.
   (use "git push" to publish your local commits)

 Changes to be committed:
	modified:   flow/designer-assertions/insn_grev.sby
	new file:   flow/designer-assertions/insn_shfl.sby
	new file:   verif/designer-assertions/insn_checkers/insn_shfl_checker.sv

 Changes not staged for commit:
	modified:   external/embench-iot (modified content, untracked content)
	modified:   external/riscv-formal (untracked content)
ben-marshall added a commit that referenced this issue Aug 6, 2020
 On branch scarv/skywater/dev
 Your branch is ahead of 'origin/scarv/skywater/dev' by 1 commit.
   (use "git push" to publish your local commits)

 Changes to be committed:
	modified:   rtl/core/frv_mdu.sv

 Changes not staged for commit:
	modified:   external/embench-iot (modified content, untracked content)
	modified:   external/riscv-formal (untracked content)
@ben-marshall ben-marshall changed the title SKW: Bitmanip Instructions SKW: Crypto Bitmanip Instructions Aug 7, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
enhancement New feature or request RTL Issue with the synthesisable RTL skywater Associated with project skywater. Verification/Testing Issue with the verification code or infrastructure.
Projects
None yet
Development

No branches or pull requests

1 participant