github-mirrors/cve2
1
0
Fork 0
mirror of https://github.com/openhwgroup/cve2.git synced 2025-04-20 12:08:05 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions
2292 commits 2 branches 0 tags 14 MiB
Commit graph

55 commits

Author SHA1 Message Date
Cairo Caplan
e8e7967079
Changes to make the X_if addition compatible with the golden version of the core, minus the rf_we line (#289) 2025-03-17 14:57:02 +01:00
Cairo Caplan
44393eb863
Logical Equivalence Checking with Yosys EQY (#287) 
* [rtl] Changed the default number of performance counters from 0 to 10 (#214)

* Implementation of sequential equivalence checking option using Yosys EQY.

* [sec] Automatic removal of new IO when performing SEC against (current) golden design with Yosys EQY
 2025-03-17 10:49:24 +01:00
szbieg
7880e5ae68
Linting verilator script for _top (#126) 
Signed-off-by: Szymon Bieganski <szymon.bieganski@oss.nxp.com>
 2023-07-28 15:04:43 +02:00
Davide Schiavone
cd76f83e12
fix regfile 0 val and sec script (#119) 
* fix sec script

* fix reg fil 0 val
 2023-05-31 14:42:22 +02:00
Davide Schiavone
0a9e862fee
fix top and sec (#115) 2023-05-25 09:43:54 +02:00
MarioOpenHWGroup
67def6f46e
Add SEC scripts (#113) 2023-05-15 15:03:24 +02:00
Markus Wegmann
f1b2c869f5 Compile all files 2017-01-12 19:34:41 +01:00
Markus Wegmann
d50354c0db Add final configuration. Set Prefetch Buffer lower 2017-01-11 01:43:07 +01:00
Markus Wegmann
aeec729b97 Fix bug in config 2017-01-10 10:47:08 +01:00
Markus Wegmann
bf6d09fef8 Fix configs 2017-01-10 10:34:53 +01:00
Markus Wegmann
71ae152c91 Add config number to csv 2017-01-10 10:30:59 +01:00
Markus Wegmann
6510bd3b65 Improve config scripts to not use small IF as it is bigger 2017-01-10 10:14:17 +01:00
Markus Wegmann
4e354a640a Handl preprocesser definitions outside of config regions correctly in ri5cly-manage.py 2017-01-09 15:53:56 +01:00
Markus Wegmann
57f81c0630 Reformat config scripts 2017-01-09 14:04:06 +01:00
Markus Wegmann
4866ad5139 Merge branch 'master' of iis-git.ee.ethz.ch:pulp-project/little-riscv 2017-01-08 23:10:40 +01:00
Markus Wegmann
a2f4e65e6c Fix clock extraction 2017-01-08 23:10:35 +01:00
Markus Wegmann
1e04a06a2a Fix scripts 2017-01-08 23:09:29 +01:00
Markus Wegmann
099673de2b Do not ungroup 2017-01-08 11:42:37 +01:00
Markus Wegmann
23eda1d0f0 Patch python script 2017-01-08 11:29:05 +01:00
Markus Wegmann
3a7e58995c Add parts of splitted adder 2017-01-06 10:49:42 +01:00
Markus Wegmann
2644340037 Update configurations 2017-01-05 22:35:53 +01:00
Markus Wegmann
ebfbc3aea3 Add new testing method to ri5cly-manage.py 2017-01-05 19:49:09 +01:00
Markus Wegmann
c727adf719 Add new option ONLY_ALIGNED and new prefetch buffer 
Compressed instruction now can only be in pairs and jumps have to be
aligned
 2017-01-02 12:30:28 +01:00
Markus Wegmann
f21769f93a Rename example configs. 2017-01-02 12:23:45 +01:00
Markus Wegmann
ac23085ceb Fix wrong area report being read in case of multiple area reports 2017-01-02 11:20:52 +01:00
Markus Wegmann
6b1b60ffb0 Fix clock detection in ri5cly-manage.py 2017-01-02 04:06:23 +01:00
Markus Wegmann
e3e7ae0d9a Fix bug in ri5cly-manage.py where test_all did not get example configs 2017-01-02 03:13:27 +01:00
Markus Wegmann
886fd6c19d Change preamble of python script to run with python3 automatically 2017-01-02 01:44:58 +01:00
Markus Wegmann
e3717c6f48 Compile everything 2017-01-02 01:43:14 +01:00
Markus Wegmann
5ab7a9726e Add method to overwrite synopsys setup script 2017-01-02 00:52:16 +01:00
Markus Wegmann
40829665ef Report clock as well 2017-01-02 00:39:16 +01:00
Markus Wegmann
6141ffadd8 Minor fixes when no synthesized version found 2017-01-02 00:38:14 +01:00
Markus Wegmann
52ba034e5e Merge branch 'master' of iis-git.ee.ethz.ch:pulp-project/little-riscv 2017-01-02 00:30:58 +01:00
Markus Wegmann
87c4f51f2a Fix syntax in python script 2017-01-02 00:30:53 +01:00
Markus Wegmann
df1f583a38 Enforce Python3+ and change description 2017-01-02 00:29:52 +01:00
Markus Wegmann
b3b31e7faa Reorder options in ri5cly-manage.py 2017-01-02 00:27:58 +01:00
Markus Wegmann
5794d5a68d Add new testing capabilities to ri5cly-manage.py. Remove JUMP_IN_ID option from configs. 2017-01-02 00:23:14 +01:00
Markus Wegmann
ad4603bc40 Fix folder overwrite bug 2016-12-30 00:45:49 +01:00
Markus Wegmann
346d14c5c8 Fix some issues and cleanup 2016-12-30 00:26:15 +01:00
Markus Wegmann
caa470303e Fix system call output 2016-12-30 00:00:02 +01:00
Markus Wegmann
334e22e47f Fix 2016-12-29 23:58:02 +01:00
Markus Wegmann
2b16f8e2a6 Add report functions 2016-12-29 23:55:43 +01:00
Markus Wegmann
6a6e2022b7 Add indication which file is overwriting the config 2016-12-29 23:27:21 +01:00
Markus Wegmann
7ff400071f Add message which config is being synthesized 2016-12-29 23:22:20 +01:00
Markus Wegmann
7f17101ff6 Fix 2016-12-29 23:18:49 +01:00
Markus Wegmann
26c1b81d63 Add new synthesize method and fix synthesize_all 2016-12-29 23:15:14 +01:00
Markus Wegmann
79ea1c2920 Fix bug bug concerning folder creation 2016-12-29 23:07:25 +01:00
Markus Wegmann
cdf7a20c56 Fix bug in ri5cly-manage.py 2016-12-29 23:04:09 +01:00
Markus Wegmann
edfa9c9b41 Add synthesizeAll method to ri5cly-manage.py 2016-12-29 22:59:44 +01:00
Markus Wegmann
fe071f4af9 Implement zipping of generated core 2016-12-29 22:26:42 +01:00