equivalence checking with yosys (eqy) documentation
EQY is a front-end driver program for Yosys-based formal hardware equivalence checking.
sat
sby
dummy