3 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
MarioOpenHWGroup	67def6f46e	Add SEC scripts (#113)	2023-05-15 15:03:24 +02:00