Equivalence Checking with Yosys (EQY) DocumentationΒΆ EQY is a front-end driver program for Yosys-based formal hardware equivalence checking. Installing CAD suite(s) Installing from source Prerequisites EQY Getting Started Reference for .eqy file format Options section Gold and gate sections Recode sections Match sections Collect sections solo and nosolo group and nogroup bind and nobind join and nojoin solo-group and solo-join Partition sections name and noname merge and nomerge path statements sticky and nosticky amend, ramend, and noamend final statements Strategy sections use statements apply and noapply Pattern Syntax EQY Strategies The sat Strategy Strategy Options Example Configuration The sby Strategy Strategy Options Example Configurations The dummy Strategy EQY Output Directory Format Main log and status files Gate and gold designs Combined gold and gate designs Matched gold and gate names Design partition files Strategies input and output files Equivalence and X-Propagation Safe-Replacement Equivalence Equivalence using Formal X-Propagation Avoiding X-Bits EQY License