publicUnclaimed/

cv32e40p

Clone

Commit history

Commits included in published releases. Unpublished intermediate commits are private. Showing matches from the latest 100 commits ending at this release.

Merge pull request #1057 from MikeOpenHWGroup/CONTRIB

Mike Thompson · Apr 17, 2026, 1:34 PM UTC

6033d2b1be32

Revise contributing guidelines and licensing details

Mike Thompson · Apr 10, 2026, 3:01 PM UTC

8f43ca48c028

Fix link to OpenHWGroup_WorkFlow.pdf

Mike Thompson · May 26, 2025, 1:42 PM UTC

e1891cd1f760

Hotfix to update out-of-date links

Mike Thompson · May 26, 2025, 1:00 PM UTC

53bedefe3e6c

Merge pull request #1026 from openhwgroup/dev

Davide Schiavone · Jul 13, 2024, 7:43 AM UTC

360d272898d8

Merge pull request #1025 from pascalgouedo/dev_dd_pgo_doc

pascalgouedo · Jul 11, 2024, 12:42 PM UTC

1079a836f702

core-v-docs changed to programs

Pascal Gouedo · Jul 11, 2024, 12:41 PM UTC

43e6af1d0b72

Merge pull request #1024 from pascalgouedo/dev_dd_pgo_doc

pascalgouedo · Jul 11, 2024, 8:33 AM UTC

d1ddd929bc3b

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

Pascal Gouedo · Jul 11, 2024, 8:21 AM UTC

c0823cf2bea6

Merge pull request #1020 from pascalgouedo/dev_dd_pgo_doc

pascalgouedo · Jul 3, 2024, 4:23 PM UTC

c99859050381

Changed User Manual version to v1.8.3

Pascal Gouedo · Jul 3, 2024, 4:18 PM UTC

4e7b2ec81fbb

User Manual Verification section final version.

Pascal Gouedo · Jul 3, 2024, 4:18 PM UTC

8ca252271fcb

Added ASIC size numbers for different configurations.

Pascal Gouedo · Jul 3, 2024, 4:17 PM UTC

35acdef6008d

Added FPU sleep information.

Pascal Gouedo · Jul 3, 2024, 4:17 PM UTC

2ef116360aa8

Cleanup.

Pascal Gouedo · Jun 6, 2024, 3:40 PM UTC

9aa989003306

Merge pull request #1014 from pascalgouedo/dev_dd_pgo_riscv_formal

pascalgouedo · Jun 28, 2024, 11:04 AM UTC

8f24b1d70dac

Added Siemens Questa Processor version requirement.

Pascal Gouedo · Jun 27, 2024, 9:43 AM UTC

699395924564

Updated PRC commands.

Pascal Gouedo · Jun 27, 2024, 9:31 AM UTC

211d290c3b2c

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

Pascal Gouedo · Jun 26, 2024, 5:05 PM UTC

052253bcd2cf

Merge pull request #1008 from pascalgouedo/dev_dd_pgo_riscv_formal

pascalgouedo · Jun 21, 2024, 9:06 AM UTC

98695efc9bd6

Changed Siemens EDA to Siemens and Onespin to Questa Processor.

Pascal Gouedo · Jun 20, 2024, 8:57 AM UTC

9de461c4ce9b

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

Pascal Gouedo · Jun 19, 2024, 10:24 AM UTC

e77b13bd19f4

Added signoff report generation.

Pascal Gouedo · Jun 12, 2024, 10:38 AM UTC

3b9cd10e9764

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

Pascal Gouedo · Jun 6, 2024, 3:27 PM UTC

2ceb84fdf36a

Merge pull request #1003 from mret55/dev

Mike Thompson · Jun 18, 2024, 1:35 PM UTC

b2eebc5e1bf9

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

mret55 · Jun 17, 2024, 1:15 PM UTC

f5ce76d51a17

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 · Jun 17, 2024, 1:15 PM UTC

4951be455cf3

Delete .DS_Store

mret55 · Jun 16, 2024, 9:50 PM UTC

fd8ddc05217c

Delete scripts/slec/cadence/.DS_Store

mret55 · Jun 16, 2024, 9:49 PM UTC

06dc30f75d41

Delete scripts/.DS_Store

mret55 · Jun 16, 2024, 9:46 PM UTC

84940f46156b

Delete scripts/slec/.DS_Store

mret55 · Jun 16, 2024, 9:46 PM UTC

5f5dc4e888ad

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

mret55 · Jun 16, 2024, 9:43 PM UTC

f700261e4be8

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

mret55 · Jun 16, 2024, 9:41 PM UTC

d4971dcde817

Delete scripts/slec/.DS_Store

mret55 · Jun 12, 2024, 4:14 PM UTC

6483ac1ac26c

Delete scripts/.DS_Store

mret55 · Jun 12, 2024, 4:13 PM UTC

cf617444ae39

Delete .DS_Store

mret55 · Jun 12, 2024, 4:13 PM UTC

cc3fe8820019

Update README.rtf

mret55 · Jun 12, 2024, 3:31 PM UTC

62c8b5706c10

jasper SLEC script changes

mret55 · Jun 12, 2024, 3:13 PM UTC

162574dbbcc8

Merge pull request #998 from YoannPruvost/dev_mstatus_fs_mismatch

Davide Schiavone · Jun 6, 2024, 9:30 AM UTC

bdd52534e28a

Merge pull request #997 from YoannPruvost/dev_formal_2

Davide Schiavone · Jun 6, 2024, 9:29 AM UTC

f814f5544ea9

Running verible

Yoann Pruvost · Jun 6, 2024, 7:43 AM UTC

b281ced1c8fe

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

Yoann Pruvost · Jun 6, 2024, 7:40 AM UTC

54558a8a23c0

Adding more assertions for code coverage holes in controller

Yoann Pruvost · Jun 6, 2024, 7:37 AM UTC

c581a90ea5e2

Merge pull request #996 from openhwgroup/dev

Davide Schiavone · Jun 5, 2024, 8:38 AM UTC

782283af77ee

Adding formal rule for coverage holes on controller

Yoann Pruvost · Jun 4, 2024, 6:21 AM UTC

b7434ba1dbad

Merge pull request #992 from pascalgouedo/dev_dd_pgo_doc

pascalgouedo · Jun 3, 2024, 3:38 PM UTC

7a6961ae2b82

Merge pull request #995 from pascalgouedo/dev_dd_pgo_riscv_formal_removal

pascalgouedo · Jun 3, 2024, 3:33 PM UTC

141cc568f87a

Reverted PR #993.

Pascal Gouedo · Jun 3, 2024, 3:32 PM UTC

0a9df7266b20

Merge pull request #993 from pascalgouedo/dev_dd_pgo_riscv_formal

Mike Thompson · Jun 3, 2024, 3:06 PM UTC

f1e13edc6428

Cleanup

Pascal Gouedo · Jun 3, 2024, 3:05 PM UTC

86c0ed676b3e

Table rendering

Pascal Gouedo · Jun 3, 2024, 3:03 PM UTC

cf658a074f67

Table update for markdown rendering

Pascal Gouedo · Jun 3, 2024, 2:58 PM UTC

1dbddd882e33

Merge pull request #994 from YoannPruvost/dev_formal

Mike Thompson · May 31, 2024, 12:54 PM UTC

ec295ef1383e

Uploading formal work related to code coverage analysis

Yoann Pruvost · May 31, 2024, 8:41 AM UTC

f6bd677ca152

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

Pascal Gouedo · May 30, 2024, 3:06 PM UTC

cc0d4204ec16

Merge pull request #991 from pascalgouedo/dev_dd_pgo_lec

Davide Schiavone · May 30, 2024, 3:05 PM UTC

e72b3da1d684

User Manual verification section update.

Pascal Gouedo · May 30, 2024, 2:41 PM UTC

cde0b3f1bc53

Few lec scripts cleanup and improvements.

Pascal Gouedo · May 30, 2024, 1:41 PM UTC

869d205d2e13

Merge pull request #989 from MikeOpenHWGroup/MikeOpenHWGroupMikeOpenHWGroup-dev_cov_rep

Mike Thompson · May 27, 2024, 11:25 AM UTC

c6360f5f14b4

Update pointer to v1.0.0 coverage reports

Mike Thompson · May 24, 2024, 4:16 PM UTC

9792d3733e1b

Merge pull request #987 from pascalgouedo/dev_dd_pgo_doc

pascalgouedo · Apr 26, 2024, 9:38 AM UTC

a43277c0dc64

Added HWloop CSRs save/restore

Pascal Gouedo · Apr 26, 2024, 9:34 AM UTC

a33cec0904c6

Merge pull request #986 from YoannPruvost/dev_RVFI_mastus_fs_when_frm

Davide Schiavone · Apr 26, 2024, 7:06 AM UTC

1f744c6e4e1f

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

Yoann Pruvost · Apr 26, 2024, 5:10 AM UTC

90e982e7409a

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

Yoann Pruvost · Apr 26, 2024, 5:09 AM UTC

7b9bf598f840

Merge pull request #985 from pascalgouedo/dev_dd_pgo_rtl

pascalgouedo · Apr 18, 2024, 2:39 PM UTC

cdd6955d9166

Merge pull request #984 from pascalgouedo/dev_dd_pgo_doc

pascalgouedo · Apr 18, 2024, 2:39 PM UTC

c7e262315d80

RTL cleanup for SiemensEDA Tessent.

Pascal Gouedo · Apr 18, 2024, 1:46 PM UTC

46dc9b56c3ee

Updated User Manual release to v1.8.0

Pascal Gouedo · Apr 18, 2024, 11:01 AM UTC

64e6f27714f9

Added illegal instruction exception decoding on unused Imm6 bits for some SIMD instructions.

Pascal Gouedo · Apr 18, 2024, 10:54 AM UTC

e11ee1983ac5

Better description of some SIMD instructions related to Imm6 unused bits and corrected the encoding description.

Pascal Gouedo · Apr 18, 2024, 10:41 AM UTC

b5455191a776

Added missing case default.

Pascal Gouedo · Apr 16, 2024, 12:52 PM UTC

0133aa4eea1d

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

Pascal Gouedo · Apr 16, 2024, 9:12 AM UTC

9937e76e19fa

User Manual piepline section slight correction.

Pascal Gouedo · Apr 15, 2024, 9:21 AM UTC

8156053a5f4b

Merge pull request #983 from YoannPruvost/dev_ypr_Trace_file_

YoannPruvost · Apr 15, 2024, 8:04 AM UTC

0c53c3f12a0f

Merge pull request #980 from pascalgouedo/dev_dd_pgo_rtl

pascalgouedo · Apr 10, 2024, 5:07 PM UTC

9654ec41bebd

New correction for Issue #975

Pascal Gouedo · Apr 10, 2024, 5:04 PM UTC

07050d7456c5

Reverted PR #977 correction for Issue #975

Pascal Gouedo · Apr 10, 2024, 5:03 PM UTC

dbcd1cb3a0ca

Merge pull request #979 from pascalgouedo/dev_dd_pgo_doc

pascalgouedo · Apr 10, 2024, 9:08 AM UTC

30f4d75b7f88

Added OpenHW group logo on pdf front page.

Pascal Gouedo · Apr 10, 2024, 9:03 AM UTC

2b3c047a2344

Updated documentation rst files headers.

Pascal Gouedo · Apr 10, 2024, 9:00 AM UTC

af6fbd06fd8b

Merge pull request #978 from pascalgouedo/dev_dd_pgo_doc

pascalgouedo · Apr 10, 2024, 7:34 AM UTC

c9a227990143

Add forgotten image.

Pascal Gouedo · Apr 10, 2024, 7:33 AM UTC

6293b395ea8f

Merge pull request #977 from pascalgouedo/dev_dd_pgo_rtl

pascalgouedo · Apr 9, 2024, 3:30 PM UTC

58cb2f1ab1eb

Issue #975 correction.

Pascal Gouedo · Apr 9, 2024, 3:21 PM UTC

ad7efbf0aee5

Merge pull request #976 from pascalgouedo/dev_dd_pgo_doc

pascalgouedo · Apr 9, 2024, 3:17 PM UTC

b11c5f3d49a0

Updated Verification section.

Pascal Gouedo · Apr 9, 2024, 3:14 PM UTC

d6d94f461e95

Forbid floating figures.

Pascal Gouedo · Apr 9, 2024, 3:13 PM UTC

5aa98cb3f225

Added missing paragraph carriage return.

Pascal Gouedo · Apr 9, 2024, 12:48 PM UTC

f2cd0b4def31

Updated incorrect table names.

Pascal Gouedo · Apr 9, 2024, 12:47 PM UTC

aef99830347c

Running verible

Yoann Pruvost · Apr 9, 2024, 8:03 AM UTC

a96392825533

RVFI - Adding mhpmevents csr reporting

Yoann Pruvost · Apr 5, 2024, 4:35 AM UTC

663a17d9840e

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

Yoann Pruvost · Apr 5, 2024, 4:34 AM UTC

c0bdfab07642

Trace log - Better invalid printing on custom opcode

Yoann Pruvost · Apr 5, 2024, 4:33 AM UTC

ac54b7e3aecd

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

Yoann Pruvost · Apr 5, 2024, 4:31 AM UTC

12e83d7d2381

Trace log - Adding insn cancell information

Yoann Pruvost · Apr 5, 2024, 4:30 AM UTC

d62800183376

Merge pull request #974 from pascalgouedo/dev_dd_pgo_lec

Davide Schiavone · Apr 4, 2024, 4:35 PM UTC

3bfea13e4753

Added new apu_busy_o at cv32e40p_core level. Added fpu latency parameters for v2 lec.

Pascal Gouedo · Apr 4, 2024, 3:44 PM UTC

aa1bac6e3d11

Merge pull request #973 from pascalgouedo/dev_dd_pgo_doc

Davide Schiavone · Apr 3, 2024, 6:50 AM UTC

af03d59dcae3

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

Pascal Gouedo · Apr 3, 2024, 6:25 AM UTC

252f70c0ae7a