5 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
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