Merge cv32e40s/dev --> cv32e40x/dev (!2100) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif · GitLab

Eclipse Webmaster requested to merge github/fork/silabs-krdosvik/merge_script_cvv_kd into cv32e40x/dev Aug 03, 2023

Created by: silabs-krdosvik

Merge from cv32e40s/dev to cv32e40x/dev. This is related to the PR: https://github.com/openhwgroup/cv32e40x-dv/pull/16 in cv32e40x-dv Formal compiles and ci_check:

Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent