Code

merge dev into master#1026

Code

Merged

davideschiavone merged 39 commits intomasteropenhwgroup/cv32e40p:masterfrom devopenhwgroup/cv32e40p:devCopy head branch name to clipboardJul 13, 2024

+1,689-79

Commits

Commits on Jun 4, 2024

• Adding formal rule for coverage holes on controller

  

  Yoann Pruvost

  committed
  b7434ba

Commits on Jun 6, 2024

• Adding more assertions for code coverage holes in controller

  

  Yoann Pruvost

  committed
  c581a90

• RVFI - Correction corner case conflict on mstatus_fs upades when integer load followed by fpu instr

  

  Yoann Pruvost

  committed
  54558a8

• Running verible

  

  Yoann Pruvost

  committed
  b281ced

• Merge pull request #997 from YoannPruvost/dev_formal_2

  Show description for f814f55
  davideschiavone

  authored
  f814f55

• Merge pull request #998 from YoannPruvost/dev_mstatus_fs_mismatch

  Show description for bdd5253
  davideschiavone

  authored
  bdd5253

Commits on Jun 12, 2024

• jasper SLEC script changes

  Show description for 162574d
  mret55

  committed
  162574d

• Update README.rtf

  Show description for 62c8b57
  mret55

  authored
  62c8b57

• Delete .DS_Store

  mret55

  authored
  cc3fe88

• Delete scripts/.DS_Store

  mret55

  authored
  cf61744

• Delete scripts/slec/.DS_Store

  mret55

  authored
  6483ac1

Commits on Jun 16, 2024

• Changes made to run.sh. Added a new folder for assume and bind files

  mret55

  committed
  d4971dc

• Merge branch 'dev' of https://github.com/mret55/cv32e40p into dev

  mret55

  committed
  f700261

• Delete scripts/slec/.DS_Store

  mret55

  authored
  5f5dc4e

• Delete scripts/.DS_Store

  mret55

  authored
  84940f4

• Delete scripts/slec/cadence/.DS_Store

  mret55

  authored
  06dc30f

• Delete .DS_Store

  mret55

  authored
  fd8ddc0

Commits on Jun 17, 2024

• Replaced headers in assume and bind files with the ones in formal dir. Uncommented the row4 trigger_match_i assertion from controller_assert file

  mret55

  committed
  4951be4

• Merge branch 'dev' of https://github.com/mret55/cv32e40p into dev

  mret55

  committed
  f5ce76d

Commits on Jun 18, 2024

• Merge pull request #1003 from mret55/dev

  Show description for b2eebc5
  MikeOpenHWGroup

  authored
  b2eebc5

Commits on Jun 20, 2024

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

  Show description for 2ceb84f
  

  Pascal Gouedo

  committed
  2ceb84f

• Added signoff report generation.

  Show description for 3b9cd10
  

  Pascal Gouedo

  committed
  3b9cd10

• License header addition except in json files which don't accept comments.

  Show description for e77b13b
  

  Pascal Gouedo

  committed
  e77b13b

• Changed Siemens EDA to Siemens and Onespin to Questa Processor.

  Show description for 9de461c
  

  Pascal Gouedo

  committed
  9de461c

Commits on Jun 21, 2024

• Merge pull request #1008 from pascalgouedo/dev_dd_pgo_riscv_formal

  Show description for 98695ef
  

  pascalgouedo

  authored
  98695ef

Commits on Jun 26, 2024

• Up-to-date files for RISC-V ISA Formal Verification.

  Show description for 052253b
  

  Pascal Gouedo

  committed
  052253b

Commits on Jun 27, 2024

• Updated PRC commands.

  Show description for 211d290
  

  Pascal Gouedo

  committed
  211d290

• Added Siemens Questa Processor version requirement.

  Show description for 6993959
  

  Pascal Gouedo

  committed
  6993959

Commits on Jun 28, 2024

• Merge pull request #1014 from pascalgouedo/dev_dd_pgo_riscv_formal

  Show description for 8f24b1d
  

  pascalgouedo

  authored
  8f24b1d

Commits on Jul 3, 2024

• Cleanup.

  Show description for 9aa9890
  

  Pascal Gouedo

  committed
  9aa9890

• Added FPU sleep information.

  Show description for 2ef1163
  

  Pascal Gouedo

  committed
  2ef1163

• Added ASIC size numbers for different configurations.

  Show description for 35acdef
  

  Pascal Gouedo

  committed
  35acdef

• User Manual Verification section final version.

  Show description for 8ca2522
  

  Pascal Gouedo

  committed
  8ca2522

• Changed User Manual version to v1.8.3

  Show description for 4e7b2ec
  

  Pascal Gouedo

  committed
  4e7b2ec

• Merge pull request #1020 from pascalgouedo/dev_dd_pgo_doc

  Show description for c998590
  

  pascalgouedo

  authored
  c998590

Commits on Jul 11, 2024

• All links updated to cv32e40p_v1.8.3 tag for the 3 target repos (core-v-docs, cv32e40p, core-v-verif).

  Show description for c0823cf
  

  Pascal Gouedo

  committed
  c0823cf

• Merge pull request #1024 from pascalgouedo/dev_dd_pgo_doc

  Show description for d1ddd92
  

  pascalgouedo

  authored
  d1ddd92

• core-v-docs changed to programs

  Show description for 43e6af1
  

  Pascal Gouedo

  committed
  43e6af1

• Merge pull request #1025 from pascalgouedo/dev_dd_pgo_doc

  Show description for 1079a83
  

  pascalgouedo

  authored
  1079a83