Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

split the isa support file #2116

Merged
merged 5 commits into from
Aug 14, 2023

Conversation

silabs-krdosvik
Copy link

Added "a lot" of new commits to #2093 (but used rebase to not make a mess) and therefore also a new PR.

  1. splitted the isa_support file into several files.
  2. Fixed dummy assert as it used logic that was removed from the isa_support file (logic copied from uvma_rvfi_instr and made general)

Signed-off-by: Kristine Dosvik <krdosvik@silabs.com>
…tion to use the updated disassembler

Signed-off-by: Kristine Dosvik <krdosvik@silabs.com>
Signed-off-by: Kristine Dosvik <krdosvik@silabs.com>
Signed-off-by: Kristine Dosvik <krdosvik@silabs.com>
lib/support/isa_decoder/isa_decoder.sv Outdated Show resolved Hide resolved
lib/support/isa_decoder/isa_decoder_pkg.sv Outdated Show resolved Hide resolved
lib/support/isa_decoder/isa_typedefs.sv Outdated Show resolved Hide resolved
lib/support/isa_decoder/isa_typedefs_csr.sv Outdated Show resolved Hide resolved
lib/support/support_constants.sv Outdated Show resolved Hide resolved
lib/support/support_pkg.sv Outdated Show resolved Hide resolved
…decoder folder from support folder

Signed-off-by: Kristine Dosvik <krdosvik@silabs.com>
@silabs-krdosvik
Copy link
Author

All of ci check passes now, and fformal compiles.

Copy link
Contributor

@silabs-robin silabs-robin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Approving based on:
All feedback conversations resolved.

@silabs-robin silabs-robin merged commit e7aa42f into openhwgroup:cv32e40s/dev Aug 14, 2023
@silabs-krdosvik silabs-krdosvik deleted the assert_fixups5 branch August 14, 2023 14:19
# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants