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

1 commit

Author SHA1 Message Date
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