merging dev to master after verifying LEC to v1 #996
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
…x text and link to rst file. Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
User Manual html generation improvments
…al nested HWloops execution and not between HWloop programming steps. Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Corrected HWloop constraint checking assertion.
add RTL LINT scripts.
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
SLEC/LEC scripts updates
Refactor of LEC/SEC scripts
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
RTL correction for verilator (no added/removed lines).
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Removed unused vendorized PULP FPU DIV/SQRT module.
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Some User Manual updates.
RVFI - Adding missing perf counter + correcting issue on mstatus_fs with flw
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
…its and corrected the encoding description. Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
…some SIMD instructions. Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Better description of some SIMD instructions related to Imm6 unused bits and corrected the encoding description.
Added illegal instruction exception decoding on unused Imm6 bits for some SIMD instructions.
Setting correct mstatus fs write mask when csrw to frm and correcting cv.beqimm & cv.bneimm printing in log file
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Added HWloop CSRs save/restore
…WGroup-dev_cov_rep Update pointer to v1.0.0 coverage reports
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Few lec scripts cleanup and improvements.
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Code coverage holes formal analysis
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
RISC-V ISA Formal Verification files for SiemensEDA OneSpin tool.
…oval Reverted PR #993.
User Manual verification section update.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.