github-mirrors/cve2
1
0
Fork 0
mirror of https://github.com/openhwgroup/cve2.git synced 2025-04-20 20:19:08 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions
cve2/scripts/sec/yosys
History
Exact
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
..
sec.eqy Logical Equivalence Checking with Yosys EQY (#287) 2025-03-17 10:49:24 +01:00