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

CV32E40Pv2 Verification update #2385

Merged
merged 29 commits into from
Mar 14, 2024
Merged

CV32E40Pv2 Verification update #2385

merged 29 commits into from
Mar 14, 2024

Commits on Feb 28, 2024

  1. Prevent code space corruption due to post incr load store 

    Signed-off-by: dd-baoshan <[email protected]>
    @dd-baoshan
    dd-baoshan committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    93de480 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #173 from XavierAubert/cv32e40p/bsm-update_tb_file… 

    …s_WW08

Prevent code space corruption due to post incr load store
    @dd-baoshan
    dd-baoshan authored Feb 28, 2024
    Configuration menu
    Copy the full SHA
    3c1b4dc View commit details
    Browse the repository at this point in the history

Commits on Feb 29, 2024

  1. move one code coverage waiver to exclusion file applicable on all con… 

    …fig. This code is unreachable in all conf we verify in v2.

Signed-off-by: Bee Nee Lim <[email protected]>
    @dd-BeeNee
    dd-BeeNee committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    5bade25 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #174 from XavierAubert/cv32e40p/dev_bnl_ww09 

    move one line of code coverage waiver to exclusion file applicable for all config. This code is unreachable in all config we verify in v2.
    @dd-baoshan
    dd-baoshan authored Feb 29, 2024
    Configuration menu
    Copy the full SHA
    2a9fcd9 View commit details
    Browse the repository at this point in the history

  3. Separate RISCV Architecture Test for config pulp and pulp_fpu 

    Signed-off-by: Bee Nee Lim <[email protected]>
    @dd-BeeNee
    dd-BeeNee committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    876d4f4 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #175 from XavierAubert/cv32e40p/dev_bnl_riscof 

    Update tb files: Separate RISCV Architecture Test for config pulp and pulp_fpu
    @dd-BeeNee
    dd-BeeNee authored Feb 29, 2024
    Configuration menu
    Copy the full SHA
    334f6b2 View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2024

  1. Bring up RISCOF test on CFG_P_F1, CFG_P_F2. 

    Signed-off-by: Bee Nee Lim <[email protected]>
    @dd-BeeNee
    dd-BeeNee committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    048b278 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #176 from XavierAubert/cv32e40p/bnl_riscof 

    Bring up RISCOF test on CFG_P_F1, CFG_P_F2.
    @dd-BeeNee
    dd-BeeNee authored Mar 1, 2024
    Configuration menu
    Copy the full SHA
    3e5a8d5 View commit details
    Browse the repository at this point in the history

  3. Bring up RISCOF test on CFG_P, F0, F1, F2. 

    Signed-off-by: Bee Nee Lim <[email protected]>
    @dd-BeeNee
    dd-BeeNee committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    a80c653 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #177 from XavierAubert/cv32e40p/bnl_riscof 

    Bring up RISCOF test on CFG_P, F0, F1, F2.
    @dd-BeeNee
    dd-BeeNee authored Mar 1, 2024
    Configuration menu
    Copy the full SHA
    d8c3128 View commit details
    Browse the repository at this point in the history

Commits on Mar 4, 2024

  1. Add code coverage waiver for CFG_P_F0, after review 

    Signed-off-by: Bee Nee Lim <[email protected]>
    @dd-BeeNee
    dd-BeeNee committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    8dc60ac View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2024

  1. Merge pull request #178 from XavierAubert/cv32e40p/bnl_riscof 

    Add code coverage waiver for CFG_P_F0, after review
    @dd-BeeNee
    dd-BeeNee authored Mar 5, 2024
    Configuration menu
    Copy the full SHA
    5816879 View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2024

  1. Add description to elaborate workaround to insert illegal insn in dir… 

    …ected stream

Signed-off-by: dd-baoshan <[email protected]>
    @dd-baoshan
    dd-baoshan committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    c68ac90 View commit details
    Browse the repository at this point in the history

  2. Update bhv modeling in uvmt_cv32e40p_cov_if 

    Signed-off-by: dd-baoshan <[email protected]>
    @dd-baoshan
    dd-baoshan committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    5831fc9 View commit details
    Browse the repository at this point in the history

  3. Update macro file: F2F is not supported in RV32F, Add additonal defin… 

    …es for fp cov usage; Update F-ext cov to optimize and fix some of the uncovered cp or cross; Update Zfinx cov to use new marcro define

Signed-off-by: dd-baoshan <[email protected]>
    @dd-baoshan
    dd-baoshan committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    e53c3cd View commit details
    Browse the repository at this point in the history

  4. Add ignore bins for cp_curr_fpu_apu_op_multicycle 

    Signed-off-by: dd-baoshan <[email protected]>
    @dd-baoshan
    dd-baoshan committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    5f4f408 View commit details
    Browse the repository at this point in the history

  5. Merge pull request #179 from XavierAubert/cv32e40p/bsm-update_tb_file… 

    …s_WW09

Cv32e40p/bsm update tb files ww09
    @dd-baoshan
    dd-baoshan authored Mar 6, 2024
    Configuration menu
    Copy the full SHA
    5d146bb View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2024

  1. Update macro file: F2F and MV are not supported in zfinx. Add additio… 

    …nal defines for zfinx cov usage; Update zfinx to optimize and fix some of the uncovered cp or cross; Update coverage option at_least and weight for both f and zfinx

Signed-off-by: dd-baoshan <[email protected]>
    @dd-baoshan
    dd-baoshan committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    8592989 View commit details
    Browse the repository at this point in the history

  2. standardize the single/main and ignore bins creation for all cross in… 

    … f and zfinx cg

Signed-off-by: dd-baoshan <[email protected]>
    @dd-baoshan
    dd-baoshan committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    46c084b View commit details
    Browse the repository at this point in the history

  3. Add condition for cp_curr_fpu_inst_rd_for_0_lat_apu_result 

    Signed-off-by: dd-baoshan <[email protected]>
    @dd-baoshan
    dd-baoshan committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    7bfabb5 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #180 from XavierAubert/cv32e40p/bsm-update_tb_file… 

    …s_WW09

Update macro file: F2F and MV are not supported in zfinx. Add additio…
    @dd-baoshan
    dd-baoshan authored Mar 8, 2024
    Configuration menu
    Copy the full SHA
    9b7377c View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2024

  1. Move waiver that is applicable to pulp config only to cv32e40pv2_code… 

    …_pulp_cfg_waiver.do

Signed-off-by: Bee Nee Lim <[email protected]>
    @dd-BeeNee
    dd-BeeNee committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    1e52c18 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #181 from XavierAubert/cv32e40p/dev_bnlww11 

    Move waiver that is applicable to pulp config only to cv32e40pv2_code_pulp_cfg_waiver.do
    @dd-BeeNee
    dd-BeeNee authored Mar 11, 2024
    Configuration menu
    Copy the full SHA
    b05f19f View commit details
    Browse the repository at this point in the history

  3. Clean-up/Updates done on dvplan which some of them related to functio… 

    …nal coverage mapping

Signed-off-by: dd-baoshan <[email protected]>
    @dd-baoshan
    dd-baoshan committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    594cb7d View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2024

  1. Merge pull request #182 from XavierAubert/cv32e40p/bsm-update_tb_file… 

    …s_WW10

Clean-up/Updates done on dvplan which some of them related to functio…
    @dd-baoshan
    dd-baoshan authored Mar 12, 2024
    Configuration menu
    Copy the full SHA
    321b319 View commit details
    Browse the repository at this point in the history

  2. First batch of DV Plans annotations

    @XavierAubert
    XavierAubert committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    8fa1c80 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #183 from XavierAubert/cv32e40p/xau_vplans 

    First batch of DV Plans annotations
    @XavierAubert
    XavierAubert authored Mar 12, 2024
    Configuration menu
    Copy the full SHA
    08e16e2 View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2024

  1. updated columns with new info required by Mike & name changes

    @XavierAubert
    XavierAubert committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    554c608 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #184 from XavierAubert/cv32e40p/xau_vplans 

    updated columns with new info required by Mike & name changes
    @XavierAubert
    XavierAubert authored Mar 13, 2024
    Configuration menu
    Copy the full SHA
    0d2338f View commit details
    Browse the repository at this point in the history