Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

merging dev to master after verifying LEC to v1 #996

Merged
merged 106 commits into from
Jun 5, 2024
Merged

merging dev to master after verifying LEC to v1 #996

merged 106 commits into from
Jun 5, 2024

Commits on Jan 3, 2024

  1. Rename lec folder to slec

    @MarioOpenHWGroup
    MarioOpenHWGroup committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    e0a77d8 View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2024

  1. RTL LINT scripts. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    c05040d View commit details
    Browse the repository at this point in the history

  2. RTL files header proposal. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    28695f3 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2024

  1. Header corrected. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    71d8354 View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2024

  1. SEC/LEC scripts refactor

    @MarioOpenHWGroup
    MarioOpenHWGroup committed Jan 12, 2024
    Configuration menu
    Copy the full SHA
    92b8040 View commit details
    Browse the repository at this point in the history

Commits on Jan 30, 2024

  1. Text font changed to black for User Manaul html search window. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    084ffa1 View commit details
    Browse the repository at this point in the history

  2. Updated copyright date, navigation button added on top, removed sphin… 

    …x text and link to rst file.

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    376c854 View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2024

  1. Merge pull request #942 from pascalgouedo/dev_dd_pgo_doc 

    User Manual html generation improvments
    @davideschiavone
    davideschiavone authored Feb 14, 2024
    Configuration menu
    Copy the full SHA
    3be83b2 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'dev' into dev_dd_pgo_lint

    pascalgouedo authored Feb 14, 2024
    Configuration menu
    Copy the full SHA
    9ae785e View commit details
    Browse the repository at this point in the history

Commits on Feb 15, 2024

  1. Corrected HWloop constraint checking assertion to fire only during re… 

    …al nested HWloops execution and not between HWloop programming steps.

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    f5ba683 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #949 from pascalgouedo/dev_dd_pgo_rtl 

    Corrected HWloop constraint checking assertion.
    @davideschiavone
    davideschiavone authored Feb 15, 2024
    Configuration menu
    Copy the full SHA
    e54e5da View commit details
    Browse the repository at this point in the history

  3. Merge pull request #931 from pascalgouedo/dev_dd_pgo_lint 

    add RTL LINT scripts.
    @davideschiavone
    davideschiavone authored Feb 15, 2024
    Configuration menu
    Copy the full SHA
    6185315 View commit details
    Browse the repository at this point in the history

  4. Some corrections for cadence & synopsys lec. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    ca41d31 View commit details
    Browse the repository at this point in the history

  5. Additional proposals about reports centralization. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Feb 15, 2024
    Configuration menu
    Copy the full SHA
    29ccf9b View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2024

  1. Merge pull request #1 from MarioOpenHWGroup/dev_dd_pgo 

    SLEC/LEC scripts updates
    @MarioOpenHWGroup
    MarioOpenHWGroup authored Feb 21, 2024
    Configuration menu
    Copy the full SHA
    b8314b8 View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2024

  1. Merge pull request #929 from MarioOpenHWGroup/dev 

    Refactor of LEC/SEC scripts
    pascalgouedo authored Feb 28, 2024
    Configuration menu
    Copy the full SHA
    c5bd3bd View commit details
    Browse the repository at this point in the history

  2. RTL correction for verilator (no added/removed lines). 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    d9ef378 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #952 from pascalgouedo/dev_dd_pgo_rtl 

    RTL correction for verilator (no added/removed lines).
    pascalgouedo authored Feb 28, 2024
    Configuration menu
    Copy the full SHA
    370cf19 View commit details
    Browse the repository at this point in the history

Commits on Feb 29, 2024

  1. Removed unused vendorized PULP FPU DIV/SQRT module. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    158975d View commit details
    Browse the repository at this point in the history

  2. Merge pull request #953 from pascalgouedo/dev_dd_pgo_rtl 

    Removed unused vendorized PULP FPU DIV/SQRT module.
    pascalgouedo authored Feb 29, 2024
    Configuration menu
    Copy the full SHA
    e0772a0 View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2024

  1. Issue #948 correction. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    90317bd View commit details
    Browse the repository at this point in the history

  2. Refined 1 blurry Hardware Loop constraint description. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    98c63f9 View commit details
    Browse the repository at this point in the history

  3. Added a comment on clipr/clipur instructions. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    c1744a9 View commit details
    Browse the repository at this point in the history

  4. Added command examples for conditional text. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    3a3b4c4 View commit details
    Browse the repository at this point in the history

  5. Merge pull request #956 from pascalgouedo/dev_dd_pgo_doc 

    Some User Manual updates.
    @davideschiavone
    davideschiavone authored Mar 12, 2024
    Configuration menu
    Copy the full SHA
    1ad59cb View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2024

  1. RVFI - Adding missing perf counters csr

    Yoann Pruvost committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    765029c View commit details
    Browse the repository at this point in the history

  2. RVFI _ Some refactoring

    Yoann Pruvost committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    8e266d3 View commit details
    Browse the repository at this point in the history

  3. RVFI - Updating mstatus_fs udpate due to flw

    Yoann Pruvost committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    f9e8863 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #957 from YoannPruvost/dev_RVFI-perf_counters_rebase 

    RVFI - Adding missing perf counter + correcting issue on mstatus_fs with flw
    @davideschiavone
    davideschiavone authored Mar 14, 2024
    Configuration menu
    Copy the full SHA
    bcfe9c5 View commit details
    Browse the repository at this point in the history

  5. Issue #959 correction. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    6ac2316 View commit details
    Browse the repository at this point in the history

  6. Issue #960 correction. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    85146dc View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2024

  1. Merge pull request #961 from pascalgouedo/dev_dd_pgo_rtl_coverage 

    RTL corrections for better RTL code coverage
    @davideschiavone
    davideschiavone authored Mar 18, 2024
    Configuration menu
    Copy the full SHA
    bee163c View commit details
    Browse the repository at this point in the history

  2. Added possibility to make lec between v2 versions. 

    Updated headers date and moved to Solderpad 2.1

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Mar 18, 2024
    Configuration menu
    Copy the full SHA
    8407734 View commit details
    Browse the repository at this point in the history

Commits on Mar 20, 2024

  1. Restored v1 headers and added same header to new files. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Mar 20, 2024
    Configuration menu
    Copy the full SHA
    cb465fa View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2024

  1. Corrected mis-leading variable name. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    0d56c56 View commit details
    Browse the repository at this point in the history

  2. Updated gitignore 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    3654122 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #962 from pascalgouedo/dev_dd_pgo_lec 

    Added possibility to make lec between v2 versions.
    @MikeOpenHWGroup
    MikeOpenHWGroup authored Mar 21, 2024
    Configuration menu
    Copy the full SHA
    bfeff28 View commit details
    Browse the repository at this point in the history

  4. Issue #965 correction 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    9420d7d View commit details
    Browse the repository at this point in the history

Commits on Mar 25, 2024

  1. Slight update to allow many lec parallel runs. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    d52b733 View commit details
    Browse the repository at this point in the history

  2. Issue #756 correction. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    76dbe3f View commit details
    Browse the repository at this point in the history

  3. Correction for issue #967 and 1a58c7b#commitcomment-138230716 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    5c9a14d View commit details
    Browse the repository at this point in the history

  4. Alignement to PR #970 for User Manual update of clipr/clipur behavior. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    7a843ea View commit details
    Browse the repository at this point in the history

  5. Merge pull request #966 from pascalgouedo/dev_dd_pgo_rtl_fpu_power 

    Issue #965 correction
    @davideschiavone
    davideschiavone authored Mar 25, 2024
    Configuration menu
    Copy the full SHA
    892dd63 View commit details
    Browse the repository at this point in the history

  6. Merge pull request #970 from pascalgouedo/dev_dd_pgo_doc 

    Correction for issue #967 and …
    @davideschiavone
    davideschiavone authored Mar 25, 2024
    Configuration menu
    Copy the full SHA
    dc6b0f9 View commit details
    Browse the repository at this point in the history

  7. verible 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    3bbcbe9 View commit details
    Browse the repository at this point in the history

  8. Merge pull request #969 from pascalgouedo/dev_dd_pgo_rtl_756 

    Issue #756 correction.
    @davideschiavone
    davideschiavone authored Mar 25, 2024
    Configuration menu
    Copy the full SHA
    b3ce0bb View commit details
    Browse the repository at this point in the history

  9. Merge pull request #968 from pascalgouedo/dev_dd_pgo_lec 

    Slight update to allow many lec parallel runs.
    @davideschiavone
    davideschiavone authored Mar 25, 2024
    Configuration menu
    Copy the full SHA
    282407d View commit details
    Browse the repository at this point in the history

  10. Merge pull request #971 from pascalgouedo/dev_dd_pgo_rtl_clip 

    Alignement to PR #970 for User Manual update of clipr/clipur behavior.
    @davideschiavone
    davideschiavone authored Mar 25, 2024
    Configuration menu
    Copy the full SHA
    0682d38 View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2024

  1. RVFI - Correcting issue on trace log generation from rvfi

    Yoann Pruvost committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    8f98368 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #964 from pascalgouedo/dev_dd_pgo_rtl_headers 

    Restored v1 headers and added same header to new files.
    pascalgouedo authored Mar 26, 2024
    Configuration menu
    Copy the full SHA
    c807945 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #972 from YoannPruvost/dev_rvfi_trace_log 

    RVFI - Correcting issue on trace log generation from rvfi
    pascalgouedo authored Mar 26, 2024
    Configuration menu
    Copy the full SHA
    256a93d View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2024

  1. Refined HWLoop instructions list that must be 32-bit aligned. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    252f70c View commit details
    Browse the repository at this point in the history

  2. Merge pull request #973 from pascalgouedo/dev_dd_pgo_doc 

    Refined HWLoop instructions list that must be 32-bit aligned.
    @davideschiavone
    davideschiavone authored Apr 3, 2024
    Configuration menu
    Copy the full SHA
    af03d59 View commit details
    Browse the repository at this point in the history

Commits on Apr 4, 2024

  1. Added new apu_busy_o at cv32e40p_core level. 

    Added fpu latency parameters for v2 lec.

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Apr 4, 2024
    Configuration menu
    Copy the full SHA
    aa1bac6 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #974 from pascalgouedo/dev_dd_pgo_lec 

    Added new apu_busy_o at cv32e40p_core level for v1 lec and fpu latency parameters for v2 lec.
    @davideschiavone
    davideschiavone authored Apr 4, 2024
    Configuration menu
    Copy the full SHA
    3bfea13 View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2024

  1. Trace log - Adding insn cancell information

    Yoann Pruvost committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    d628001 View commit details
    Browse the repository at this point in the history

  2. Trace log - Updating post increment insn print to match user manual

    Yoann Pruvost committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    12e83d7 View commit details
    Browse the repository at this point in the history

  3. Trace log - Better invalid printing on custom opcode

    Yoann Pruvost committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    ac54b7e View commit details
    Browse the repository at this point in the history

  4. Trace log - Updating legacy tracer file top line to match new one

    Yoann Pruvost committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    c0bdfab View commit details
    Browse the repository at this point in the history

  5. RVFI - Adding mhpmevents csr reporting

    Yoann Pruvost committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    663a17d View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2024

  1. Running verible

    Yoann Pruvost committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    a963928 View commit details
    Browse the repository at this point in the history

  2. Updated incorrect table names. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    aef9983 View commit details
    Browse the repository at this point in the history

  3. Added missing paragraph carriage return. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    f2cd0b4 View commit details
    Browse the repository at this point in the history

  4. Forbid floating figures. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    5aa98cb View commit details
    Browse the repository at this point in the history

  5. Updated Verification section. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    d6d94f4 View commit details
    Browse the repository at this point in the history

  6. Merge pull request #976 from pascalgouedo/dev_dd_pgo_doc 

    User Manual updates
    pascalgouedo authored Apr 9, 2024
    Configuration menu
    Copy the full SHA
    b11c5f3 View commit details
    Browse the repository at this point in the history

  7. Issue #975 correction. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    ad7efbf View commit details
    Browse the repository at this point in the history

  8. Merge pull request #977 from pascalgouedo/dev_dd_pgo_rtl 

    Issue #975 correction.
    pascalgouedo authored Apr 9, 2024
    Configuration menu
    Copy the full SHA
    58cb2f1 View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2024

  1. Add forgotten image. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    6293b39 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #978 from pascalgouedo/dev_dd_pgo_doc 

    Add forgotten image.
    pascalgouedo authored Apr 10, 2024
    Configuration menu
    Copy the full SHA
    c9a2279 View commit details
    Browse the repository at this point in the history

  3. Updated documentation rst files headers. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    af6fbd0 View commit details
    Browse the repository at this point in the history

  4. Added OpenHW group logo on pdf front page. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    2b3c047 View commit details
    Browse the repository at this point in the history

  5. Merge pull request #979 from pascalgouedo/dev_dd_pgo_doc 

    User Manual improvements.
    pascalgouedo authored Apr 10, 2024
    Configuration menu
    Copy the full SHA
    30f4d75 View commit details
    Browse the repository at this point in the history

  6. Reverted PR #977 correction for Issue #975 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    dbcd1cb View commit details
    Browse the repository at this point in the history

  7. New correction for Issue #975 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    07050d7 View commit details
    Browse the repository at this point in the history

  8. Merge pull request #980 from pascalgouedo/dev_dd_pgo_rtl 

    Better correction for Issue #975
    pascalgouedo authored Apr 10, 2024
    Configuration menu
    Copy the full SHA
    9654ec4 View commit details
    Browse the repository at this point in the history

Commits on Apr 15, 2024

  1. Merge pull request #983 from YoannPruvost/dev_ypr_Trace_file_ 

    RVFI - Improving trace log file and adding mhpmevents csr reporting
    @YoannPruvost
    YoannPruvost authored Apr 15, 2024
    Configuration menu
    Copy the full SHA
    0c53c3f View commit details
    Browse the repository at this point in the history

  2. User Manual piepline section slight correction. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    8156053 View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2024

  1. Removed redundant statements (v1 and all v2 configs LEC compliant). 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    9937e76 View commit details
    Browse the repository at this point in the history

  2. Added missing case default. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    0133aa4 View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2024

  1. Better description of some SIMD instructions related to Imm6 unused b… 

    …its and corrected the encoding description.

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    b545519 View commit details
    Browse the repository at this point in the history

  2. Added illegal instruction exception decoding on unused Imm6 bits for … 

    …some SIMD instructions.

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    e11ee19 View commit details
    Browse the repository at this point in the history

  3. Updated User Manual release to v1.8.0 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    64e6f27 View commit details
    Browse the repository at this point in the history

  4. RTL cleanup for SiemensEDA Tessent. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    46dc9b5 View commit details
    Browse the repository at this point in the history

  5. Merge pull request #984 from pascalgouedo/dev_dd_pgo_doc 

    Better description of some SIMD instructions related to Imm6 unused bits and corrected the encoding description.
    pascalgouedo authored Apr 18, 2024
    Configuration menu
    Copy the full SHA
    c7e2623 View commit details
    Browse the repository at this point in the history

  6. Merge pull request #985 from pascalgouedo/dev_dd_pgo_rtl 

    Added illegal instruction exception decoding on unused Imm6 bits for some SIMD instructions.
    pascalgouedo authored Apr 18, 2024
    Configuration menu
    Copy the full SHA
    cdd6955 View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2024

  1. Trace log - Correcting cv.bneimm and cv.beqimm printing

    Yoann Pruvost committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    7b9bf59 View commit details
    Browse the repository at this point in the history

  2. RVFI - Set proper write mask for mstatus fs when writes to frm

    Yoann Pruvost committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    90e982e View commit details
    Browse the repository at this point in the history

  3. Merge pull request #986 from YoannPruvost/dev_RVFI_mastus_fs_when_frm 

    Setting correct mstatus fs write mask when csrw to frm and correcting cv.beqimm & cv.bneimm printing in log file
    @davideschiavone
    davideschiavone authored Apr 26, 2024
    Configuration menu
    Copy the full SHA
    1f744c6 View commit details
    Browse the repository at this point in the history

  4. Added HWloop CSRs save/restore 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    a33cec0 View commit details
    Browse the repository at this point in the history

  5. Merge pull request #987 from pascalgouedo/dev_dd_pgo_doc 

    Added HWloop CSRs save/restore
    pascalgouedo authored Apr 26, 2024
    Configuration menu
    Copy the full SHA
    a43277c View commit details
    Browse the repository at this point in the history

Commits on May 24, 2024

  1. Update pointer to v1.0.0 coverage reports

    @MikeOpenHWGroup
    MikeOpenHWGroup authored May 24, 2024
    Configuration menu
    Copy the full SHA
    9792d37 View commit details
    Browse the repository at this point in the history

Commits on May 27, 2024

  1. Merge pull request #989 from MikeOpenHWGroup/MikeOpenHWGroupMikeOpenH… 

    …WGroup-dev_cov_rep

Update pointer to v1.0.0 coverage reports
    @MikeOpenHWGroup
    MikeOpenHWGroup authored May 27, 2024
    Configuration menu
    Copy the full SHA
    c6360f5 View commit details
    Browse the repository at this point in the history

Commits on May 30, 2024

  1. Few lec scripts cleanup and improvements. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed May 30, 2024
    Configuration menu
    Copy the full SHA
    869d205 View commit details
    Browse the repository at this point in the history

  2. User Manual verification section update. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed May 30, 2024
    Configuration menu
    Copy the full SHA
    cde0b3f View commit details
    Browse the repository at this point in the history

  3. Merge pull request #991 from pascalgouedo/dev_dd_pgo_lec 

    Few lec scripts cleanup and improvements.
    @davideschiavone
    davideschiavone authored May 30, 2024
    Configuration menu
    Copy the full SHA
    e72b3da View commit details
    Browse the repository at this point in the history

  4. RISC-V ISA Formal Verification files for SiemensEDA OneSpin tool. 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed May 30, 2024
    Configuration menu
    Copy the full SHA
    cc0d420 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2024

  1. Uploading formal work related to code coverage analysis

    Yoann Pruvost committed May 31, 2024
    Configuration menu
    Copy the full SHA
    f6bd677 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #994 from YoannPruvost/dev_formal 

    Code coverage holes formal analysis
    @MikeOpenHWGroup
    MikeOpenHWGroup authored May 31, 2024
    Configuration menu
    Copy the full SHA
    ec295ef View commit details
    Browse the repository at this point in the history

Commits on Jun 3, 2024

  1. Table update for markdown rendering 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    1dbddd8 View commit details
    Browse the repository at this point in the history

  2. Table rendering 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    cf658a0 View commit details
    Browse the repository at this point in the history

  3. Cleanup 

    Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
    Pascal Gouedo committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    86c0ed6 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #993 from pascalgouedo/dev_dd_pgo_riscv_formal 

    RISC-V ISA Formal Verification files for SiemensEDA OneSpin tool.
    @MikeOpenHWGroup
    MikeOpenHWGroup authored Jun 3, 2024
    Configuration menu
    Copy the full SHA
    f1e13ed View commit details
    Browse the repository at this point in the history

  5. Reverted PR #993.

    Pascal Gouedo committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    0a9df72 View commit details
    Browse the repository at this point in the history

  6. Merge pull request #995 from pascalgouedo/dev_dd_pgo_riscv_formal_rem… 

    …oval

Reverted PR #993.
    pascalgouedo authored Jun 3, 2024
    Configuration menu
    Copy the full SHA
    141cc56 View commit details
    Browse the repository at this point in the history

  7. Merge pull request #992 from pascalgouedo/dev_dd_pgo_doc 

    User Manual verification section update.
    pascalgouedo authored Jun 3, 2024
    Configuration menu
    Copy the full SHA
    7a6961a View commit details
    Browse the repository at this point in the history